Visit okmij.org → On Hacker News Nov 2014 – Aug 2026
Software Engineering 6Programming Languages 6History & Retro Computing 2Systems & Performance 1Math & Algorithms 1
A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.
The materials for the course on compilers: built incrementally and fully in tagless-final style
How bounded higher-kinded polymorphism arises in practice, and how to express it in OCaml, in several different ways. Some ways are rather concise -- but less widely known.
Describing three strategies of implementing type classes, aiming to clarify their behavior
An example of a monadic programming in Scheme that juxtaposes Haskell code for a state monad with the corresponding Scheme code.
Why a programming language should not offer a primitive to capture undelimited continuations (call/cc).