How HM Type Inference Derives Types Without Annotations
A deep dive into the Hindley‑Milner algorithm, showing how it infers types, handles polymorphism, and powers languages like Haskell and ML.
Functional Programming
Designing Domain Specific Languages with Parser Combinators
A deep dive into building DSLs with parser combinators, covering fundamentals, design patterns, and real‑world library choices.