待验证50% 置信事实精确时间
SOLID原则由Robert C. Martin在2000年代初系统化提出，是面向对象设计的五大基本原则
1
来源数
50%
置信度
长期有效
时效性
2026/9/8
首次发现
来源
涉及实体
相关事实
待验证Robert C. Martin 近年来从面向对象阵营转向函数式编程，认为函数式范式的不可变性和引用透明性能从根本上解决并发时代的软件复杂性问题61% 相似待验证单一职责原则（SRP）最早由软件工程师Robert C. Martin（Uncle Bob）提出，核心表述是一个模块应该只有一个引起它变化的原因60% 相似待验证第一性原理是一种源自亚里士多德哲学的思维方法，近年来因埃隆·马斯克的推崇而在科技界广为人知，它强调将问题分解到最基本的事实和公理层面，然后从零开始推导解决方案59% 相似待验证形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构57% 相似待验证有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/874541API
curl https://kongchang.com/api/v1/knowledge/claims/874541MCP
get_claim(id=874541)