blog :: [Post]
Blog
Short, code-first notes on the tools and languages behind the conference.
- 2026-09-13· 8 min
Tail Calls
Which languages guarantee them, which only sometimes deliver them, how to check, and what to do when you do not have them.
- 2026-09-06· 9 min
Introduction to Lean
A command-first tour of Lean 4: elan and lake, the goal state, the tactics worth knowing, and a proof by induction end to end.
- 2026-08-30· 9 min
Profiling GHC Programs
A command-first tour of the GHC profiler: +RTS -s, cost centres, heap profiles, info-table profiling, and the eventlog.
- 2026-08-23· 7 min
Introduction to odoc
A command-first tour of OCaml documentation: doc comments, markup, cross-references, .mld pages, and publishing the result.
- 2026-08-16· 8 min
Functional Programming in C++
Sum types, monadic optional and expected, lazy range pipelines, folds, composition, and persistent structures, in C++23.
- 2026-08-09· 7 min
Deriving Strategies in Haskell
A code-first tour of stock, newtype, anyclass, and via: what each one generates, and which to reach for.
- 2026-08-02· 9 min
Parsing with Menhir
A command-first tour of the OCaml parser generator: grammars, dune wiring, conflicts, parameterized rules, positions, and error messages.
- 2026-07-26· 5 min
Dockerizing OCaml Binaries
A command-first tour of packaging an OCaml binary into a small, reproducible image: multi-stage builds, musl/Alpine, and scratch.
- 2026-07-19· 8 min
Introduction to opam
A command-first tour of the OCaml package manager: switches, packages, pinning, dependencies, and publishing.
- 2026-07-12· 6 min
Effect Handlers in OCaml
A command-first tour of OCaml 5 effects: perform, handlers, generators, and where domains and eio fit in.
- 2026-07-05· 7 min
Introduction to Dune
A command-first tour of the OCaml build system: history, libraries, opam, flags, flambda.