标签
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的方法，避免在添加新表示时修改通用函数。
本文对Mitchell Wand在1991年提出的偏记录拼接类型推断算法进行了机械化，提供了声明式与算法式语义，并给出了Haskell参考实现，以推动Nix及其他语言的类型检查进展。
Poly/ML 是一种与 ML97 标准兼容的 Standard ML 实现，以其快速的编译器、外部函数接口、线程库以及作为 Isabelle 和 HOL 等大型项目的首选实现而闻名。
本文探讨了在 map 闭包中使用返回 Result 的函数时常见的 Rust 错误，并提供了多种解决方案：收集结果、使用循环、filter_map 和 try_fold。
hica语言中函数式编程的介绍，涵盖表达式、不可变性、纯函数、闭包以及高阶函数（如map、filter和fold）。
一篇探讨在TypeScript中应用“解析，而非验证”原则的博客文章，展示了如何使用品牌类型（branded types）在解析后保留类型信息，尽管TypeScript的结构类型系统使得这种做法不如在Elm或Haskell等语言中那样自然。
一篇博客文章，讨论了类似λFS的函数式关系查询语言中的求值顺序与非终止性，并引用了在FLOPS 2026上发表的关于有限函数式编程的论文。
本文审查了一个用J实现的Scheme解释器，解释了分词器和递归下降解析器的代码。
Prism 是一种新型函数式语言，它结合了代数效应与类型系统，允许在没有单子的情况下使用可变状态及其他效应，同时从外部保持纯函数性。其目标是让效应成为类型系统的一等公民，从而实现优化和安全使用。