Too many programmers only know OCaml through a functional programming language overview course at university. They erroneously believe OCaml…
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…