The OCaml Planet RSS

This time of the year is, just like Christmas time, a time for laughs and magic... although the magic we are talking about, in the OCaml community, is not exactly nice, nor beautiful. Let's say that we are somehow akin to many religions: we know magic does exist , but that it is satanic and shouldn'...

People often think of formal methods and theorem provers as forbiddingtools, cool in theory but with a steep learning curve that makes themhard to use in rea...

Polymorphic variants : subtyping and variance Polymorphic variants : Subtyping and variance Here ar...

As with many projects in the OCaml world, at Jane Street we have been working onmigrating from camlp4 to ppx. After having developed equivalent ppx rewriters...

Teaching an introductory course to “compilation” this semester (actually it was called Virtual Machines, but it was really about compiling expressions to stack machines), I realized something I had…

In this post, we continue discussing syntactic meta-programming following last post. My years of experience in different meta-program system(Common Lisp, Template Haskell, Camlp4) tell me that quos…

I should write this blog long time ago, but I am so adddicted to Fan that I don’t have time to write it, programming is much more fun than blogging. Anyway, better late than never, XD. What&#…

The four nines puzzle asks which positive numbers can be obtained from arithmetic expressions involving four "9" digits and an assortment ...

In this final (?) post in my series on Camlp4, I want at last to cover syntax extensions. A nontrivial syntax extension involves almost all ...