标签
一篇博客文章，宣布在 Futhark 编程语言中加入递归函数，解释了递归在 GPU 后端上的历史性挑战以及所涉及的设计权衡。
A blog post explaining the principle of 'Unconditional Election' in Haskell, using parametric polymorphism and free theorems to enforce behavior via type signatures.
Bonsai 是 Jane Street 的开源 UI 库，用于在 OCaml 中构建响应式 Web 应用程序，具有可组合状态、增量渲染和模板语言等特点。
一个免费的在线教程，向Python程序员教授函数式编程语言Gleam，涵盖从基础知识到高级主题，如键值存储、Web API和流处理。
一份互动指南，通过动画代码回放和动手练习介绍 Clojure 编程，涵盖函数、不可变数据、递归等。
一篇博文，探讨如何使用 Haskell 实现数字电路模拟器，遵循《计算机程序的构造和解释》（SICP）中的方法，使用可变状态和 IORef。
本文从第一原理介绍函数式编程，涵盖函数的数学定义及编程语言范式的分类。这是面向命令式编程者系列文章的第一部分。
OCaml 创建者 Xavier Leroy 在访谈中讨论了 OCaml 的设计优势、与 Rust 和 JavaScript 的对比、类型推断原理以及函数式编程的学习难度。
John Backus的函数式编程语言的历史保存草稿，包含其研究项目的背景和资料。
Foldkit 是一个基于 Effect-TS 构建、受 Elm 架构启发的新型 TypeScript 前端框架，提供可预测的状态管理、显式副作用，以及内置路由、UI 组件和订阅功能。
一篇技术文章，提出了一种使用线性函数和unsafeCoerce在Haskell中编码存在类型的方法，实现了无需GADT包装器的“裸”存在类型，并通过透镜组合子unsafePartsOf的安全变体进行了演示。
Jolt是一个新的Clojure实现，目标平台为Chez Scheme，旨在提供即插即用的替代方案，具有快速启动和低内存占用，利用Chez的JIT和GC来避免JVM的开销。
Incremental 是 Jane Street 推出的一个库，用于构建高效、自适应的计算，能够响应输入变化，适用于电子表格、GUI视图以及派生数据同步。
本文描述了在Haskell的servant-auth库基础上设计和实现的一种类型安全的基于角色的授权系统，该系统支持为每个角色设置不同的处理程序，并在编译时进行检查。
OCaml 的创始人 Xavier Leroy 在一次播客采访中讨论了 OCaml 相对于 Rust 和 JavaScript 的特性、形式化验证、类型推断以及 LLM 对编程的影响。
这篇1998年的文章认为，ML和OCaml非常适合编写编译器，因为它们具有垃圾收集、尾递归优化以及带有模式匹配的代数数据类型等特性，这些特性简化了复杂编译器数据结构的处理。
本文演示了如何在Gleam编程语言中使用延续来抽象不同的计算效果（如错误处理和异步），从而实现可重用的业务逻辑。
一篇解释范畴论中Actegories概念及其在编程光学（如lenses和prisms）中作用的文章，并包含Haskell实现。
本文展示了在Haskell中实现数据导向编程来处理复数运算，遵循SICP 2.4.3的方法，避免在添加新表示时修改通用函数。