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.
Owing to the print-on-demand process we're using, it's simple to update the book to fix the few errata which have been pointed out by kind readers since publication. The new text is now live on Amazon , the Kindle Store , and our website . To update the Kindle copy, go to "Manage
OPAM 1.1.0 is ready, and we are shipping a release candidate for packagers and all interested to try it out. This version features several bug-fixes over the September beta release, and quite a few stability and usability improvements. Thanks to all beta-testers who have taken the time to file repor...
As announced in a previous post, I joined OCamlPro at the beginning of September and I started working on Alt-Ergo. Here is a report presenting the tool and the work we have done during the two last months. Alt-Ergo at a Glance Alt-Ergo is an open source automatic theorem prover based on SMT technol...
I've made a few little tutorial videos to go with the book. Just seven for now, covering the first four chapters, but more to come: Evaluating an expression True and false Making decisions Names and functions Patterns Lists Take and drop Appending two lists They're not really a substitute
In part 3 I described how to write targets which can access network resources, and how to use memoization to make them run fast. In this (last) part of the series, I’ll describe the final fea…
We are very happy to announce the beta release of OPAM version 1.1.0! OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow which. OPAM is edited and maintained by OCamlPro, wi...
In part 2 I introduced an example goaljobs script that can rebuild a set of packages in Fedora in the right order. It’s time to take a closer look at targets — the promise that you make…
In part 1 I showed how a simple make rule could be converted to a special “goal” function and I hinted that we were not limited to just the “file is older than” semantics im…