Where did my for-loop go? A guide to expressing control flow in Haskell through recursion, folds, lazy structures, and knot-tying.

Combine the static nature of Applicatives with the sequential power of Monads. Learn to build inspectable workflows in Haskell for dependency extraction, DAG visualization, and automatic concurrency.

Exploring high-performance Haskell by implementing a mutable SlotMap for an order matching engine. Attempting to mimic Rust's memory efficiency backfired with a 20x performance drop due to SoA/AoS mismatches and GC overhead. A valuble lesson on why mixing low-level mutability with high-level immutable abstractions is a bad idea.

A deep dive into Haskell Optics. Learn how to derive Van Laarhoven Lenses, Prisms, and Traversals from scratch, and discover how to build a robust Opaque Optics system with better composition and compiler error messages using type-level programming.

Building a Haskell stack DSL that rejects invalid programs at compile time.