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...
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...
In OCaml, referring to constructors defined in other modules can be somewhat awkward. Suppose we have a module like the following.
The Unix module defines the Unix_error exception constructor.
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...
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...
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...
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...