Unverified50% confidenceFactExact time
上帝类是面向对象编程的反模式，违反SOLID原则中的单一职责原则，Martin Fowler在《重构》中将其列为需优先处理的代码异味
1
Sources
50%
Confidence
Long-term
Relevance
8/24/2026
First Seen
Sources
Related Entities
Related Claims
Unverified形式化证明系统的理论基础来自类型论和Curry-Howard同构，任何逻辑漏洞都会导致类型检查失败60% similarUnverifiedLean基于依赖类型论，其理论基础是柯里-霍华德同构，将数理逻辑与程序语言理论深度统一52% similarVerified泄漏抽象（Leaky Abstraction）定律由Joel Spolsky于2002年提出，核心论断是所有非平凡的抽象都会在某种程度上发生泄漏51% similarVerifiedFirst principles can be traced back philosophically to Aristotle's Posterior Analytics, where they are defined as foundational propositions that cannot be derived from other propositions.51% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/795356API
curl https://kongchang.com/api/v1/knowledge/claims/795356MCP
get_claim(id=795356)