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.

Better Inlining: Progress Report

As announced some time ago, I am working on a new intermediate language within the OCaml compiler to improve its inlining strategy. After some time of bug squashing, I prepared a testable version of the patchset, available either on Github (branch flambda_experiments), or through OPAM, in the follow...

11 Jul 2013

OCamlPro

Read Article
Experimenting in API Design: Riakc

Disclaimer: Riakc's API is in flux so not all of the code here is guaranteed to work by the time you read this post. However the general ...

09 Jul 2013

Orbitz

Read Article
On the book « OCaml from the very beginning »

Good introduction to both OCaml and (functional) programming

04 Jul 2013

Daniel Bünzli

Read Article
Riakc In Five Minutes

This is a simple example using Riakc to PUT a key into a Riak database. It assumes that you already have a Riak database up and running. ...

04 Jul 2013

Orbitz

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