Blog

The OCaml Planet

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

New book: OCaml from the very beginning, by John Whitington

A book about functional programming with OCaml right from the beginning. Available as a printed book or Kindle e-book from Amazon, and as a DRM-free PDF ebook. Sample chapters.

20 Jun 2013

Caml INRIA

Read Article
New draft: Proofs, upside down

There is a new draft on my web page, that should be of interest to those who enjoyed my posts about reversing data structures and the relation between natural deduction and sequent calculus. It is …

17 Jun 2013

Matthias Puech

Read Article
Now available on Amazon

OCaml from the Very Beginning (204pp, paperback) is now available on Amazon for $39.99 / €29.99 / £24.99, as well as an e-book from ocaml-book.com for $19.99. Here are preview chapters and a .zip of the examples and exercises .  Here's the blurb:  In OCaml from

07 Jun 2013

OCaml Book

Read Article
Optimisations you shouldn’t do

Doing the compiler's work Working at OCamlPro may have some drawbacks. I spend a lot of time hacking the OCaml compiler. Hence when I write some code, I have a good glimpse of what the generated assembly will look like. This is nice when I want to write performance sensitive code, but as I usually w...

24 May 2013

OCamlPro

Read Article
malloc() is the new gensym()

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…

04 May 2013

Matthias Puech

Read Article
April Monthly Report

This post aims at summarizing the activities of OCamlPro for the past month. As usual, we worked in three main areas: the OCaml toolchain, development tools for OCaml and R&D projects. The toolchain Our multi-runtime implementation of OCaml had gained stability. Luca fixed a lot of low-level bugs in...

22 Apr 2013

OCamlPro

Read Article
wxOCaml, camlidl and Class Modules

Last week, I was bored doing some paperwork, so I decided to hack a little to relieve my mind... Looking for a GUI Framework for OCaml Beginners Some time ago, at OCamlPro, we had discussed the fact that OCaml was lacking more GUI frameworks. Lablgtk is powerful, but I don’t like it (and I expect ...

02 Apr 2013

OCamlPro

Read Article
An Indentation Engine for OCaml

Since our last activity report we have released the first stable versions of two projects: OPAM, an installation manager for OCaml source packages, and ocp-indent, an indentation tool. We have already described the basics of OPAM in two precedent blog posts, so today we will focus on the release of ...

18 Mar 2013

OCamlPro

Read Article