From a 1958 MIT research note to the metacircular evaluator, the Lisp Machine boom and bust, the Scheme and Common Lisp branches, and the Clojure revival. How a language meant to formalize symbolic reasoning ended up seeding nearly every modern functional idea.
Functional-Programming
-
The Lisp Story -
Bend: Automatic Parallelism via Interaction Combinators Bend is a Python-like language that automatically parallelizes on CPU and GPU without threads or locks, powered by the HVM2 interaction combinator runtime. Here's what the novel ideas actually are, what works today, and what's still research-grade.
-
Elixir and the BEAM: Concurrency That Actually Scales A deep technical guide to Elixir and the BEAM VM — processes, OTP supervisors, GenServer, Phoenix LiveView, Ecto, distributed nodes, and an honest assessment of where the Erlang VM dominates and where it doesn't.
-
Gleam: Type Safety on the BEAM Gleam brings Hindley-Milner type inference and ML-family ergonomics to the Erlang VM — fault-tolerant concurrency, actor-model supervision trees, and zero-null error handling, with JavaScript as a second compile target. A deep technical look at the language, its ecosystem, and when to reach for it over Elixir.
-
Roc: Functional Programming Without the Complexity Tax Roc is a fast, friendly, functional language built around a radical idea: no I/O primitives in the language itself. Instead, platforms provide effects, and your code stays pure. Here's a deep look at what that means in practice — the type system, tag unions, error handling, tooling, and where Roc is worth serious attention today.
-
Haskell: Pure Functional Programming in Practice A deep technical guide to Haskell for experienced engineers — pure functions, the type system, monads demystified, lazy evaluation, real-world libraries, and an honest assessment of where Haskell wins and loses.
-
Chicken Scheme: A Practical Guide for Systems Engineers A deep technical guide to Chicken Scheme 5 — the Cheney-on-the-MTA GC strategy, compiling to native binaries, the FFI, the egg ecosystem, IUP for cross-platform GUIs, and how Chicken fits into the broader Scheme landscape.
-
Scala: Functional Programming on the JVM A deep technical guide to Scala 3 — case classes, pattern matching, the type system, Cats, ZIO, build tooling, and an honest assessment of when Scala is the right choice and when it isn't.