函数式编程
函数式编程是一种以数学函数为核心抽象的编程范式，强调不可变数据、纯函数、高阶函数和函数组合，根源于Lambda演算，代表语言包括Haskell、OCaml、Erlang等
时间轴 (近 90 天)
根据HN评论中的讨论，某些场景下FP性能可接近C，但取决于具体实现和负载类型。
共识在于：FP的适用性取决于问题域，而非绝对性能。
HN评论呈现两种声音：一方认为FP的性能已足够接近C，尤其在开发效率与安全性上优势明显；另一方强调，在嵌入式、实时系统等对确定性要求极高的领域，C仍不可替代。
函数式编程强调纯函数、无副作用和不可变性，使生成的代码更容易被静态分析和自动验证，减少隐藏的状态 bug
无副作用的代码在人类审阅 AI 生成代码的协作模式下更容易被逐段理解，审阅者无需追踪全局状态变化链路
纯函数、无副作用的计算模型因函数之间没有隐藏的状态依赖，天然更容易被自动并行化
提升抽象层次的核心思想是让代码表达业务意图而非技术操作
采用更高层次的函数式抽象需要团队对函子、单子、函数组合等概念有一致理解，否则激进抽象会成为协作障碍
使用map、filter、reduce配合Lambda的代码往往停留在较低的抽象层次，表达的是如何做每一步而非想要什么结果
全部知识事实 (9)
根据HN评论中的讨论，某些场景下FP性能可接近C，但取决于具体实现和负载类型。
50%待验证共识在于：FP的适用性取决于问题域，而非绝对性能。
50%待验证HN评论呈现两种声音：一方认为FP的性能已足够接近C，尤其在开发效率与安全性上优势明显；另一方强调，在嵌入式、实时系统等对确定性要求极高的领域，C仍不可替代。
50%待验证函数式编程强调纯函数、无副作用和不可变性，使生成的代码更容易被静态分析和自动验证，减少隐藏的状态 bug
50%待验证无副作用的代码在人类审阅 AI 生成代码的协作模式下更容易被逐段理解，审阅者无需追踪全局状态变化链路
50%待验证纯函数、无副作用的计算模型因函数之间没有隐藏的状态依赖，天然更容易被自动并行化
50%待验证提升抽象层次的核心思想是让代码表达业务意图而非技术操作
50%待验证采用更高层次的函数式抽象需要团队对函子、单子、函数组合等概念有一致理解，否则激进抽象会成为协作障碍
50%待验证使用map、filter、reduce配合Lambda的代码往往停留在较低的抽象层次，表达的是如何做每一步而非想要什么结果
50%