In a similar (albeit higher-level) vein, see https://github.com/avsm/melange https://github.com/avsm/melange, @avsm's type-safe network applications in OCaml.

In a similar (albeit higher-level) vein, see https://github.com/avsm/melange https://github.com/avsm/melange, @avsm's type-safe network applications in OCaml. Edit: more details at http://anil.recoil.org/papers/2007-eurosys-melange.pdf http://anil.recoil.org/papers/2007-eurosys-melange.pdf.