| layout | tags | ||
|---|---|---|---|
page |
|
-
Lightweight Higher Kinded Polymorphism: Why OCaml can't have higher kinded types like Haskell, and how to substitute for them.
-
Modular Implicits: A typeclass-like system for OCaml.
- Format Unravelled: The Format module and its design.
- Pattern Matching: How the compiler compiles pattern matching code to be efficient.