Unverified50% confidenceFactExact time
Robert C. Martin 近年来从面向对象阵营转向函数式编程，认为函数式范式的不可变性和引用透明性能从根本上解决并发时代的软件复杂性问题
1
Sources
50%
Confidence
Long-term
Relevance
8/12/2026
First Seen
Sources
Related Claims
UnverifiedIn his 1986 classic paper "No Silver Bullet," Fred Brooks pointed out that the essential difficulty of software development lies not in coding (accidental complexity) but in understanding and defining the problem itself (essential complexity).58% similarUnverified形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构54% similarVerifiedCyclomatic Complexity was proposed by Thomas McCabe in 1976 to measure the complexity of a program's control flow.53% similarUnverified函数式编程根植于20世纪30年代Alonzo Church的λ演算理论，强调不可变性与无副作用53% similarUnverifiedClassical matrix completion theory originally relied on the incoherence assumption, and researchers subsequently relaxed this condition, producing a large body of work.52% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/735437API
curl https://kongchang.com/api/v1/knowledge/claims/735437MCP
get_claim(id=735437)