functional-programming

本文探讨了无点逻辑编程，这是一个与函数式编程范式相关的概念。

一场演讲，追溯从goto面条代码到结构化循环，再到递归模式的演化历程，展示控制流抽象如何映射数据结构，以及为何大多数语言仍把最好的组合子藏起来。

本文针对无类型λ演算，提出归约求值（NbE）的算法重构，通过逐步优化，得到一个比标准NbE实现渐进更快的正规化器。

《Effekt》编程语言博客文章演示了如何利用效应和处理器实现递归方案（特别是 catamorphisms），以此取代传统的基于函子的方法，从而避免了对无限递归类型的依赖。

LispE 是 NAVER 推出的一款开源 Lisp 方言，兼具函数式与数组编程特性，并支持 PyTorch、llama.cpp 以及 MLX 等 AI 库。该语言既可作为原生应用运行，也可打包为支持多线程与现代函数式编程特性的 WebAssembly 库。

Clojure 官方文档解读 transducers——可组合、带状态的转换函数，将序列处理与具体集合类型解耦。