待验证50% 置信事实精确时间
Robert C. Martin 近年来从面向对象阵营转向函数式编程，认为函数式范式的不可变性和引用透明性能从根本上解决并发时代的软件复杂性问题
1
来源数
50%
置信度
长期有效
时效性
2026/8/12
首次发现
来源
相关事实
待验证Fred Brooks在1986年的经典论文《没有银弹》中指出，软件开发的本质困难不在于编码（偶然复杂性），而在于理解和定义问题本身（本质复杂性）。58% 相似待验证形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构54% 相似已验证圈复杂度（Cyclomatic Complexity）由Thomas McCabe于1976年提出，用于衡量程序控制流的复杂程度53% 相似待验证函数式编程根植于20世纪30年代Alonzo Church的λ演算理论，强调不可变性与无副作用53% 相似待验证经典矩阵补全理论最初依赖不相干性（incoherence）假设，后来研究者逐步放松这一条件产出了大量工作52% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/735437API
curl https://kongchang.com/api/v1/knowledge/claims/735437MCP
get_claim(id=735437)