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.
The Dojima rice market, established around 1716, is widely considered tobe the world’s first organized futures exchange. Instead of directlyexchanging money ...
Functional programming languages have been around since the 1950's, when the first high-level languages were used to program early computers…
In this talk, Fabrice Buoro explained what happens at the deepest level when your OCaml program raises or catches an exception. This inside knowledge will lead to a number of takeaways for best performance. Slides and sources can be found at ht...
One of the problems we wrestle with at Jane Street is how tounderstand and manage the costs associated with the positions we hold:things like margin, financi...
The Alt-Ergo automatic theorem prover developed at OCamlPro has just been released with a major update : counterexample model can now be generated. This is now available on the next branch, and will officially be part of the 2.5.0 release, coming this year ! Alt-Ergo at a Glance Alt-Ergo is an open ...
Open Source India 2022 With OCaml 5 just around the corner, it's been a really exciting year to attend conferences all over the world. Just…
At ICFP this year, KC Sivaramakrishnan gave two talks that put OCaml 5 in the spotlight: his keynote, “Retrofitting Concurrency - Lessons…
Over the last few months, Tarides has focused on designing, prototyping, and integrating a new feature for Tezos bakers: automatic context…
