The OCaml Planet
Goodbye MLstate, goodbye Opa Tides come and tides go. Two years ago, I accepted to join MLstate, to take lead of the R&D group, and turn Opa from a promising early-stage demo into a world-class technology. And I am happy t…
06 Sep 2011
Opa advocacy Opa advocacy and tutorials have moved to their own, dedicated blog. The topics are now covered by Adam Koprowski. Thanks for handling this, Adam!
28 Aug 2011
Opa on Lambda the Ultimate (and now Slashdot) There is a nice discussion on Opa on Lambda the Ultimate forums. If you are not familiar with Lambda the Ultimate, know that this is the place for discussing new and exotic programming languages an…
28 Aug 2011
Portable Regular Expressions
12 Aug 2011
Packing and Functors We have recently worked on modifying the OCaml system to be able to pack a set of modules within a functor, parameterized on some signatures. This page presents this work, funded by Jane Street. All the patches on this page are provided for OCaml version 3.12.1. Packing Functors Installation of the ...
10 Aug 2011
Objective Caml renamed to OCaml
29 Jul 2011
OCaml 3.12.1 released
04 Jul 2011
OCaml and Windows Recently, I have been experimenting wiht OCaml / MSVC running on Windows 7 64bit. I have mainly followed what the OCaml’s README.win32 was saying and I learned some NSIS tricks. The result of this experiment is the following two (rather big) windows binaries : ocaml-trunk-64-installer.exe (92 MB) ...
23 Jun 2011
Delimited Continuations vs Lwt for Threads
18 Jun 2011
Logic programming in Scala, part 3: unification and state In this post I want to build on the backtracking logic monad we covered last time by adding unification , yielding an embedded DSL for Prol...
09 Jun 2011
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.