硬件已变,语言未变:为何资深函数式程序员呼吁关注 Zig
本文作者拥有十多年的函数式编程经验,深入剖析了为何应当关注 Zig 语言。文章指出,自 1995 年以来,CPU 运算速度提升了约一万倍,但内存访问速度的改善却相对滞后,这导致依赖垃圾回收(GC)的传统语言在性能上遭遇瓶颈。作者认为,GC ...
本文作者拥有十多年的函数式编程经验,深入剖析了为何应当关注 Zig 语言。文章指出,自 1995 年以来,CPU 运算速度提升了约一万倍,但内存访问速度的改善却相对滞后,这导致依赖垃圾回收(GC)的传统语言在性能上遭遇瓶颈。作者认为,GC ...
本文深入探讨了软件开发中“数学上的完美理想”与“务实的工程现实”之间的持久张力。作者作为一名拥有丰富 Haskell 开发经验的资深程序员,高度评价了 Haskell 在类型系统、范畴论引入及函数式编程概念(如单子、函子)上的卓越贡献。然而...

ECS / OSS / CDN / 云数据库一站采购,常用云资源集中选配;新用户与续费均有专场优惠,适合个人开发者与小团队长期使用。
本文探讨了在编程语言中引入“广义 += 赋值”运算符的概念,旨在解决不可变数据结构中修改深层嵌套属性的繁琐问题。文章提出了一种语法糖方案,试图让非 mutating(不可变)的更新操作在写法上与传统的 mutating(原地修改)操作一样简...
Sky 是一种受 Elm 启发的实验性编程语言,旨在结合 Go 的实用主义与 Elm 的优雅语法。它允许开发者使用函数式编程(FP)编写代码,并编译成单一的可移植 Go 二进制文件,从而彻底摆脱 Node.js 和 npm 的依赖。Sky ...
文章指出,AI Agent 在生产环境中频频失败,根源并非模型能力不足,而是现代代码库中的可变状态和隐藏依赖导致输出非确定性。作者提出了 SUPER(代码原则)和 SPIRALS(工作流)两大框架,主张通过“副作用边缘化”、“显式数据流”等...
本文是计算机先驱约翰·巴克斯(John Backus)获得图灵奖时的演讲,首次提出了函数式编程概念,并深刻批判了传统冯·诺依曼架构的“瓶颈”。有前IBM开发者在评论区指出,尽管巴克斯未能目睹AI智能体的兴起,但他倡导的函数式风格在AI辅助编...
该项目介绍了一个名为 LMP 的开源库,旨在利用 C++17 特性,以 Lisp/Scheme 的风格编写 C++ 模板元编程。传统的 C++ 模板元编程以语法晦涩、难以维护著称,而 LMP 通过提供类似 Lisp 的宏定义(如 `meta...
一位机器人工程师在尝试利用AI重构机器人逻辑时,经历了从“行为树”架构回归“函数式”思维的思想转变。原本他花费一周将动作拆解为原子化节点以适应AI编排,但实机测试时发现:行为树和状态机本质上是服务于人类逻辑可视化的架构,而非AI的最优解。由...
这篇由 Lean 核心贡献者撰写的系列教程,深入介绍了 Lean 4 这一现代交互式定理证明器和函数式编程语言。文章不仅涵盖了 Lean 的语法基础和类型系统,更重点剖析了其强大的元编程能力。Lean 4 能够让开发者在编写代码的同时构建数...
这篇经典文章深入阐述了类型驱动设计的黄金法则——“解析,不要验证”。作者指出,传统的“验证”往往只检查数据而不保留信息,导致后续代码必须反复处理不可能发生的错误;而“解析”则是将弱类型数据转换为强类型(如将普通列表转换为非空列表),从而在编...