19 Mar 2024 - Caml Weekly News
OCaml Blog
The OCaml Planet
The Flambda2 Snippets, Episode 0
At OCamlPro, the main ongoing task on the OCaml Compiler is to improve the high-level optimisation. This is something that we have been doing for quite some time now. Indeed, we are the authors behind the Flambda optimisation pass and today we would like to introduce the series of blog snippets show...
18 Mar 2024 - OCamlPro
Lean 4: When Sound Programs become a Choice
Monitoring Edge Technical Endeavours As a company specialized in strongly-typed programming languages with strong static guarantees, OCamlPro closely monitors the ongoing trend of bringing more and more of these elements into mainstream programming languages. Rust is a relatively recent example of t...
07 Mar 2024 - OCamlPro
News
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.