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