Unverified50% confidenceFactExact time
Robert C. Martin 近年来从面向对象阵营转向函数式编程，认为函数式范式的不可变性和引用透明性能从根本上解决并发时代的软件复杂性问题
1
Sources
50%
Confidence
Long-term
Relevance
8/12/2026
First Seen
Sources
Related Claims
UnverifiedFred Brooks在1986年的经典论文《没有银弹》中指出，软件开发的本质困难不在于编码（偶然复杂性），而在于理解和定义问题本身（本质复杂性）。58% similarUnverified形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构54% similarVerified圈复杂度（Cyclomatic Complexity）由Thomas McCabe于1976年提出，用于衡量程序控制流的复杂程度53% similarUnverified函数式编程根植于20世纪30年代Alonzo Church的λ演算理论，强调不可变性与无副作用53% similarUnverified经典矩阵补全理论最初依赖不相干性（incoherence）假设，后来研究者逐步放松这一条件产出了大量工作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)