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...

Signals & Threads Podcast

Listen to the latest episode

Featured Tech Talk

The Algorithm for Precision Medicine

Jane Street YouTube Channel

Featured Reads

Tags

RSS

Get the RSS feed

Jane Street Open Source

From committing patches to the Linux kernel to releasing our own projects, we’re always looking for ways to participate in the open source community.

Join Our Team

Where FP meets the real world.

If you're interested in working at a place where functional programming meets the real world, then apply for a job at Jane Street.

Learn more