标签
LispE 是 NAVER 开发的一个紧凑的 Lisp 方言，它结合了函数式和数组语言特性，并支持 PyTorch 和 llama.cpp 等 AI 库。
Mercury是一种逻辑/函数式编程语言，它将声明式编程与静态分析和错误检测相结合。该仓库提供了源代码、文档以及针对多个平台的后端支持。
这篇博客文章提供了一个用Haskell实现的Profunctor装备的玩具实现，包括自然变换和组合，旨在让范畴论概念对程序员来说更易于理解。
Erlang/OTP 29.0 是一个重要版本，引入了原生记录、多值推导式、改进的编译器警告，以及增强的安全默认设置（如禁用 SSH 守护进程）。此外，该版本还包含了 JIT 改进以及诸如后量子加密支持等实验性功能。
Phel v0.36.0 已发布，为这款受 Lisp 启发的、编译为 PHP 的函数式编程语言引入了数值塔和一等公民 Var。
一场演讲，追溯从goto面条代码到结构化循环，再到递归模式的演化历程，展示控制流抽象如何映射数据结构，以及为何大多数语言仍把最好的组合子藏起来。
本文针对无类型λ演算，提出归约求值（NbE）的算法重构，通过逐步优化，得到一个比标准NbE实现渐进更快的正规化器。
《Effekt》编程语言博客文章演示了如何利用效应和处理器实现递归方案（特别是 catamorphisms），以此取代传统的基于函子的方法，从而避免了对无限递归类型的依赖。
LispE 是 NAVER 推出的一款开源 Lisp 方言，兼具函数式与数组编程特性，并支持 PyTorch、llama.cpp 以及 MLX 等 AI 库。该语言既可作为原生应用运行，也可打包为支持多线程与现代函数式编程特性的 WebAssembly 库。
Clojure 官方文档解读 transducers——可组合、带状态的转换函数，将序列处理与具体集合类型解耦。
Effect 是一个用于构建健壮、类型安全的生产级应用的 TypeScript 库，可处理类型化错误、依赖注入、结构化并发、调度、链路追踪以及 Schema 校验。其 4.x 版本被宣布为长期支持（LTS）版本，提供至少三年的支持保障。