待验证50% 置信事实精确时间
线性类型由 Philip Wadler 于1990年提出，为 Rust 的移动语义奠定基础
1
来源数
50%
置信度
长期有效
时效性
2026/7/13
首次发现
来源
pgrust：用Rust重写Postgres，已通过全部回归测试
githubGitHub Trending2026/7/11
相关事实
待验证「摩擦设计」的核心思想源自Richard Thaler和Cass Sunstein在2008年出版的《助推》（Nudge）中提出的通过改变选择架构来影响行为方向的理论62% 相似待验证反向传播由Geoffrey Hinton等人在1986年系统化提出，其核心是链式法则的工程实现57% 相似待验证语言接地问题（Symbol Grounding Problem）最早由哲学家Stevan Harnad于1990年系统提出57% 相似待验证类型推导机制最早由ML语言族在1970年代通过Hindley-Milner类型系统系统化56% 相似待验证BDI模型最早由哲学家Bratman于1987年提出，后由Rao与Georgeff于1991年形式化为计算模型55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/502462API
curl https://kongchang.com/api/v1/knowledge/claims/502462MCP
get_claim(id=502462)