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.

News from May and June

It is time to give a brief summary of our recent activities. As usual, our contributions were focused on three main objectives: make the OCaml compiler faster and easier to use; make the OCaml developers more efficient by releasing new development tools and improving editor supports; organize and pa...

01 Jul 2013

OCamlPro

Read Article
Welcome IPv6

21 Jun 2013

Gerd Stolpmann

Read Article
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