标签
Simon Peyton Jones 阐述了函数式编程的数学基础、诸如提高可维护性之类的益处，以及其对主流语言的影响，同时讨论了处理副作用等挑战。
本文介绍了'ReaderT 设计模式'，用于构建 Haskell 应用程序，推荐使用核心数据类型并在应用代码中使用 ReaderT Env IO。
本文解释了如何使用JavaScript语法以简单、无类型的方式实现Monad，重点介绍了标签联合（tagged unions）以及用于教育目的的基础Monad类型，如Maybe、Either、State、IO和Parser。
一本由Bruce Eckel编写的全面Python编程书，涵盖基础知识、技术、模式和函数式编程。
作者分享了学习Gleam编程语言的个人笔记，重点介绍了@deprecated属性、todo构造、泛型和case表达式等特性，并与其他语言进行了比较。
这篇文章针对现代关系查询语言，讨论了其期望的功能，批评了SQL的不足，并基于函数式编程、更好的语法和用户定义类型提出了改进建议。
本文为选择性应用函子提供了理论基础，解释了其本质是编码编程中有限控制流的排他性和穷尽性确定选择，并将它们与单子和应用函子联系起来。
Simon Peter Jones 在 JuliaCon 2026 上回顾了 Haskell 语言的起源、设计过程和演化，并展望了其未来。
Richard Feldman presents a preview of Roc 0.1.0 at a functional programming meetup, showcasing a GUI demo with hot code reloading and discussing the language's goals of being fast, friendly, and functional.
Futhark 语言博客讨论了拟议的 `flatmap` SOAC 扩展，用于向程序员暴露不规则数组，从而支持快速排序等递归数据并行算法，同时保持高效的 GPU 编译。
一篇博客文章，演示如何使用基于 Haskell 的 Clash 硬件描述语言在 FPGA 硬件上解决 Advent of Code 谜题，包含代码片段和 RAM 机器实现。
一篇博客文章，宣布在 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的函数式编程语言的历史保存草稿，包含其研究项目的背景和资料。