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
UnverifiedThe core idea of 'friction design' originates from the theory of influencing behavioral direction by changing choice architecture, proposed by Richard Thaler and Cass Sunstein in their 2008 book Nudge62% similarUnverified反向传播由Geoffrey Hinton等人在1986年系统化提出，其核心是链式法则的工程实现57% similarUnverifiedThe Symbol Grounding Problem was first systematically proposed by philosopher Stevan Harnad in 1990.57% similarUnverifiedType inference mechanisms were first systematized by the ML language family in the 1970s through the Hindley-Milner type system.56% similarUnverifiedThe BDI model was first proposed by philosopher Bratman in 1987 and later formalized as a computational model by Rao and Georgeff in 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)