Nathan Linger

3 posts by Nathan Linger

Oct 01, 2010 | 1 min read
A trick: recursive modules from recursive signatures
Stephen taught me a neat trick a while back. Suppose you want to define a some mutually recursive types
Aug 04, 2010 | 10 min read
More expressive GADT encodings via first class modules
GADTs allow one to statically enforce stronger program invariants than are otherwise possible in a Hindley-Milner style type system. This post retells the story of...
Jul 16, 2010 | 6 min read
Ensuring that a function is polymorphic in Ocaml 3.12
The beta version of Ocaml 3.12 has a couple of new features that relate to a post Stephen wrote a while back on how to...