Blog
The OCaml Planet RSS
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.
Source
Keyword
Year
Author
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.
Now that OCaml 4.08 has been released, let’s have a look at what wasaccomplished, with a particular focus on how our plans for4.08 fared. I’ll mostly focus o...
With the external release of OCaml 4.07.0 imminent, we in Jane Street’sTools & Compilers group have been planning what we want to work on forinclusion in...
People often think of formal methods and theorem provers as forbiddingtools, cool in theory but with a steep learning curve that makes themhard to use in rea...
In the last few years, we’ve spent more and more effort working on developertools, to the point where we now have a tools-and-compilers group devoted to thea...
In my previous post I wrote about Flambda, which is the singlebiggest feature coming to OCaml in this release. In this post, I’ll review theother features of...
OCaml 4.03 is branched and a first release candidate is imminent, so it seemslike a good time to take stock of what’s coming.