Unverified50% confidenceFactExact time
泄漏抽象（Leaky Abstraction）定律由Joel Spolsky于2002年提出，核心论断是所有非平凡的抽象都会在某种程度上发生泄漏
1
Sources
50%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
Related Claims
VerifiedJoel Spolsky是Stack Overflow的联合创始人，他在2000年发表的《Things You Should Never Do》一文中论证从头重写代码是软件公司能犯的最严重战略错误57% similarUnverifiedTom Gruber 将本体论定义为「对共享概念化的显式形式化规范」56% similarUnverified形式化证明系统的理论基础来自类型论和Curry-Howard同构，任何逻辑漏洞都会导致类型检查失败53% similarUnverified函数式编程根植于20世纪30年代Alonzo Church的λ演算理论，强调不可变性与无副作用53% similarUnverified理解的错觉（解释深度的错觉）现象最早由认知科学家Rozenblit和Keil在2002年的研究中系统描述52% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/526023API
curl https://kongchang.com/api/v1/knowledge/claims/526023MCP
get_claim(id=526023)