Unverified50% confidenceFactExact time
线性类型由 Philip Wadler 于1990年提出，为 Rust 的移动语义奠定基础
1
Sources
50%
Confidence
Long-term
Relevance
7/13/2026
First Seen
Sources
pgrust：用Rust重写Postgres，已通过全部回归测试
githubGitHub Trending7/11/2026
Related Claims
Unverified「摩擦设计」的核心思想源自Richard Thaler和Cass Sunstein在2008年出版的《助推》（Nudge）中提出的通过改变选择架构来影响行为方向的理论62% similarUnverified反向传播由Geoffrey Hinton等人在1986年系统化提出，其核心是链式法则的工程实现57% similarUnverified语言接地问题（Symbol Grounding Problem）最早由哲学家Stevan Harnad于1990年系统提出57% similarUnverified类型推导机制最早由ML语言族在1970年代通过Hindley-Milner类型系统系统化56% similarUnverifiedBDI模型最早由哲学家Bratman于1987年提出，后由Rao与Georgeff于1991年形式化为计算模型55% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/502462API
curl https://kongchang.com/api/v1/knowledge/claims/502462MCP
get_claim(id=502462)