Tag
A link to an introduction to programming in the ATS language, with discussion on Lobsters.
A PhD researcher demonstrates Ouros, a specialised combinator-based graph reduction processor for Haskell implemented on an FPGA, now with IO capability handled entirely in hardware with no software runtime underneath.
Announcement of the Clojure/Conj 2026 conference, with a YouTube playlist of talks available and a discussion thread on Lobsters.
A 79-minute deep-dive blog post demonstrating how to implement full Haskell-like type class resolution in Java, covering type unification, witness resolution, higher-kinded types, and examples like Functor, Applicative, and Monad.
An exploration of how much you can do with LISP when limited to 64K bytes of memory, comparing modern Kilo LISP to historical implementations on the IBM 704 and DEC PDP-1, including vintage sample programs.
A guide on embedding the EYG scripting language into Erlang applications, covering dependency setup, running pure programs, error handling, and adding algebraic effect support.
A blog post walking through the paper 'Flow Typing: A New Lens on Linearity', which uses the theory of lenses to solve the threading problem in linear type systems without complicating the core language, plus the author's implementation experiments in a new language called Laminar.
一篇技术博客，讲解如何用 TypeScript 中的函数式 Parser Combinator 模式（如 pSeq、pMap）组合小解析器来解析复杂文本，例如把 ping 输出转换为结构化 JSON 对象。
A guide on writing stateful effect handlers in the EYG programming language, covering single-effect counters, generic Update/State effects, effect bouncing for testing, and pitfalls when returning functions from effects due to recursive type errors.
A fan-written deep dive into Gleam's case exhaustiveness checking, exploring compiler-core/src/exhaustiveness.rs and tracing the pattern-matching compilation theory back to Lennart Augustsson's 1984 "Compiling Pattern Matching" paper.
DelightQL is a query language that transpiles to SQL, drawing on logic and functional programming to make queries succinct, reusable, and capable of building nested data shapes while retaining SQL's relational power.
A blog post explaining Haskell's Kind system, covering values, types, kinds, higher-kinded types/data, and custom kinds through the author's experience adding typed configuration to a Haskell Redis server clone.
开发者用 Lean 4 完整实现了 RealWorld（Medium 克隆）参考应用，前后端全部使用 Lean 编写，并借助社区库（HTTP 服务器、Postgres 驱动、JWT、HTML 渲染等）通过官方 API 与网站测试套件。文章以数学论文风格呈现，部分关键性质以定理形式在 Lean 中形式化验证。
The article introduces a set of combinator patterns, including a generalization of Joy's `binrec` expressed as the `rm` combinator in K4, that decompose recursive procedures into reusable components and enable performance improvements by eliminating explicit conditionals and recursion.
Futhark 团队总结了其类型检查器中别名传播(alias propagation)相关开放问题的最终解决方案，重点介绍了利用参数性(parametricity)推断更精确的 freshness 类型，以改善高阶函数与别名交互时的人体工学。
一篇技术博客文章，讨论 NixOS/Nix Flakes 生态中 `specialArgs` 注入机制导致模块不可移植的问题，并提出用「柯里化模块」等方式在模块求值前应用特殊参数的替代方案，相关讨论曾在 NixCon 2026 闪电演讲中提及。
A technical essay exploring the "push ifs up, fors down" programming idiom from TigerBeetle's Tiger Style and matklad's blog, extending it to SQL query optimization (early projections, late joins) and connecting it to functional programming and category theory, while discussing its limits.
作者在重写 Haskell 生产代码库时，逐一检视 effect system 的用途，认为其大部分功能并非必需，并指出 early return 与错误处理才是 effect system 真正被使用的地方，进而质疑其必要性。
A detailed write-up by Justin Ethier explaining how the Cyclone Scheme compiler was built, covering source-to-source transformations, CPS and closure conversion, C code generation, and a hybrid Cheney-style garbage collector.
Quantitative Finance with OCaml is a comprehensive technical book/guide covering derivatives pricing, risk management, credit modeling, algorithmic trading, and HFT infrastructure using OCaml, with production-quality code, honest mathematical derivations, and coverage of modern OCaml 5 features (domains, effects, OxCaml extensions).