Typing RPCs
At Jane Street, we end up writing lots of messaging protocols, and many of these protocols end up being simple RPC-style protocols, *i.e.*, protocols with...
Using let module for matching
In OCaml, referring to constructors defined in other modules can be somewhat awkward. Suppose we have a module like the following.
By: Stephen Weeks
Extracting an exception from a module
The Unix module defines the Unix_error exception constructor.
By: Stephen Weeks
A universal type?
Is it possible in OCaml to implement a universal type, into which any other type can be embedded? More concretely, is possible to implement the...
By: Stephen Weeks
Talking at Penn
I just got back from an enjoyable visit at Penn. I gave a version of my POPL talk for an audience consisting in large part...
By: Yaron Minsky
We've got a blog!
Jane Street finally has a blog! Jane Street is one of the biggest commercial users of OCaml, and we like to think that we’ve picked...
By: Yaron Minsky
HOWTO: Static access control using phantom types
We thought that phantom types would be an appropriate topic for our first real post because they are a good example of a powerful and...
By: Yaron Minsky
