标签
一位博士研究生展示了 Ouros，这是一款在 FPGA 上实现、专为 Haskell 设计的基于组合子的图归约处理器，如今已具备完全由硬件处理的 IO 能力，底层无需任何软件运行时。
宣布 Clojure/Conj 2026 大会，会议演讲的 YouTube 播放列表已上线，并在 Lobsters 上有讨论帖。
一篇 79 分钟的深度博客文章，演示如何在 Java 中实现完整的 Haskell 风格类型类解析，涵盖类型统一、见证者解析、高阶类型以及 Functor、Applicative 和 Monad 等示例。
探索在内存限制为 64K 字节时，LISP 能做到什么程度，将现代的 Kilo LISP 与 IBM 704 和 DEC PDP-1 上的早期实现进行比较，并附上早期的示例程序。
一份关于将 EYG 脚本语言嵌入 Erlang 应用程序的指南，涵盖依赖项配置、运行纯程序、错误处理以及添加代数效应支持。
一篇博客文章，详细介绍了论文《流类型：透过透镜重新审视线性》，该论文利用透镜理论，在不增加核心语言复杂性的前提下解决线性类型系统中的穿线问题，并介绍了作者在一门名为 Laminar 的新语言中开展的实现实验。
一篇技术博客，讲解如何用 TypeScript 中的函数式 Parser Combinator 模式（如 pSeq、pMap）组合小解析器来解析复杂文本，例如把 ping 输出转换为结构化 JSON 对象。
一份关于在 EYG 编程语言中编写有状态效应处理器的指南，涵盖单效应计数器、通用 Update/State 效应、用于测试的效应转发，以及从效应中返回函数时因递归类型错误而遇到的陷阱。
一篇由 Gleam 粉丝撰写的深度文章，深入探讨 Gleam 的 case 穷尽性检查机制，分析 compiler-core/src/exhaustiveness.rs 源码，并将模式匹配的编译理论追溯到 Lennart Augustsson 于 1984 年发表的论文《Compiling Pattern Matching》。
DelightQL 是一种可转译为 SQL 的查询语言，借鉴逻辑编程和函数式编程，使查询简洁、可复用，并能够构建嵌套数据结构，同时保留 SQL 的关系运算能力。
一篇博客文章，通过作者在 Haskell 编写的 Redis 服务器克隆项目中添加类型化配置的经验，讲解 Haskell 的 Kind 体系，涵盖值、类型、Kind、高阶 Kind 的类型/数据以及自定义 Kind。
开发者用 Lean 4 完整实现了 RealWorld（Medium 克隆）参考应用，前后端全部使用 Lean 编写，并借助社区库（HTTP 服务器、Postgres 驱动、JWT、HTML 渲染等）通过官方 API 与网站测试套件。文章以数学论文风格呈现，部分关键性质以定理形式在 Lean 中形式化验证。
文章介绍了一组组合子模式，包括将 Joy 语言中的 `binrec` 推广为 K4 中的 `rm` 组合子，这些模式将递归过程分解为可复用的组件，并通过消除显式条件判断和递归来实现性能提升。
Futhark 团队总结了其类型检查器中别名传播(alias propagation)相关开放问题的最终解决方案，重点介绍了利用参数性(parametricity)推断更精确的 freshness 类型，以改善高阶函数与别名交互时的人体工学。
一篇技术博客文章，讨论 NixOS/Nix Flakes 生态中 `specialArgs` 注入机制导致模块不可移植的问题，并提出用「柯里化模块」等方式在模块求值前应用特殊参数的替代方案，相关讨论曾在 NixCon 2026 闪电演讲中提及。
一篇技术随笔，探讨来自 TigerBeetle 的 Tiger Style 和 matklad 博客中的「把 if 上推、把 for 下推」编程惯用法，将其扩展到 SQL 查询优化领域（提前投影、延迟连接），并将其与函数式编程和范畴论联系起来，同时讨论它的适用边界。
作者在重写 Haskell 生产代码库时，逐一检视 effect system 的用途，认为其大部分功能并非必需，并指出 early return 与错误处理才是 effect system 真正被使用的地方，进而质疑其必要性。
Justin Ethier 的一篇详细技术文章，介绍了 Cyclone Scheme 编译器的构建过程，涵盖源代码到源代码的转换、CPS（持续传递风格）和闭包转换、C 代码生成，以及一种混合 Cheney 式垃圾收集器。
《Quantitative Finance with OCaml》是一本全面的技术书籍/指南，涵盖使用 OCaml 进行衍生品定价、风险管理、信用建模、算法交易以及高频交易基础设施开发，书中提供生产级质量的代码、严谨诚实的数学推导，并介绍了 OCaml 5 的新特性（域 domains、效果 effects、OxCaml 扩展）。