标签索引

函数式编程

这个标签下有 18 篇文章。按时间回看相关判断与实践记录。

标签精选

硬件已变，语言未变：为何资深函数式程序员呼吁关注 Zig

本文作者拥有十多年的函数式编程经验，深入剖析了为何应当关注 Zig 语言。文章指出，自 1995 年以来，CPU 运算速度提升了约一万倍，但内存访问速度的改善却相对滞后，这导致依赖垃圾回收（GC）的传统语言在性能上遭遇瓶颈。作者认为，GC ...

2026-04-301 分钟阅读89 阅读

本文深入探讨了软件开发中“数学上的完美理想”与“务实的工程现实”之间的持久张力。作者作为一名拥有丰富 Haskell 开发经验的资深程序员，高度评价了 Haskell 在类型系统、范畴论引入及函数式编程概念（如单子、函子）上的卓越贡献。然而...

2026-04-301 分钟阅读130 阅读

本文探讨了在编程语言中引入“广义 += 赋值”运算符的概念，旨在解决不可变数据结构中修改深层嵌套属性的繁琐问题。文章提出了一种语法糖方案，试图让非 mutating（不可变）的更新操作在写法上与传统的 mutating（原地修改）操作一样简...

2026-04-251 分钟阅读71 阅读

Sky 是一种受 Elm 启发的实验性编程语言，旨在结合 Go 的实用主义与 Elm 的优雅语法。它允许开发者使用函数式编程（FP）编写代码，并编译成单一的可移植 Go 二进制文件，从而彻底摆脱 Node.js 和 npm 的依赖。Sky ...

2026-04-071 分钟阅读172 阅读

文章指出，AI Agent 在生产环境中频频失败，根源并非模型能力不足，而是现代代码库中的可变状态和隐藏依赖导致输出非确定性。作者提出了 SUPER（代码原则）和 SPIRALS（工作流）两大框架，主张通过“副作用边缘化”、“显式数据流”等...

2026-04-051 分钟阅读88 阅读

本文是计算机先驱约翰·巴克斯（John Backus）获得图灵奖时的演讲，首次提出了函数式编程概念，并深刻批判了传统冯·诺依曼架构的“瓶颈”。有前IBM开发者在评论区指出，尽管巴克斯未能目睹AI智能体的兴起，但他倡导的函数式风格在AI辅助编...

2026-03-221 分钟阅读97 阅读

该项目介绍了一个名为 LMP 的开源库，旨在利用 C++17 特性，以 Lisp/Scheme 的风格编写 C++ 模板元编程。传统的 C++ 模板元编程以语法晦涩、难以维护著称，而 LMP 通过提供类似 Lisp 的宏定义（如 `meta...

2026-03-081 分钟阅读103 阅读

一位机器人工程师在尝试利用AI重构机器人逻辑时，经历了从“行为树”架构回归“函数式”思维的思想转变。原本他花费一周将动作拆解为原子化节点以适应AI编排，但实机测试时发现：行为树和状态机本质上是服务于人类逻辑可视化的架构，而非AI的最优解。由...

2026-03-061 分钟阅读82 阅读

这篇由 Lean 核心贡献者撰写的系列教程，深入介绍了 Lean 4 这一现代交互式定理证明器和函数式编程语言。文章不仅涵盖了 Lean 的语法基础和类型系统，更重点剖析了其强大的元编程能力。Lean 4 能够让开发者在编写代码的同时构建数...

2026-02-191 分钟阅读235 阅读

这篇经典文章深入阐述了类型驱动设计的黄金法则——“解析，不要验证”。作者指出，传统的“验证”往往只检查数据而不保留信息，导致后续代码必须反复处理不可能发生的错误；而“解析”则是将弱类型数据转换为强类型（如将普通列表转换为非空列表），从而在编...

2026-02-111 分钟阅读144 阅读