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 Dune team is excited to announce the arrival of Dune Developer Preview, a major milestone for OCaml development! We've been working hard improving
Description: OCaml supports a subtyping relation, where the type system recognizes that all values of one type are also values of another. It allows coercions from one type to another using the coercion operator. This video demonstrates how it works. (Note: This video doesn’t include anything specific to Jane Street!) Code written in this video: https://github.com/goldfirere/janestreet-videos/blob/b6aaa2ea731af13dcbd1c5a50a621574f79dd37e/variance/variance.ml
Like most places, Jane Street largely teaches developers through a kind of apprenticeshipmodel. A team matching process tries to thoughtfully match new devs ...
Training your teams has proven benefits, enhancing the efficiency and quality of work, and equipping members with the skills they need to tackle new c
L’équipe d’OCamlPro a récemment été sollicitée par l’association Roglo, une association française de généalogie qui gère une base de plus de 10 millions de personnes connectées dans une même arbre généalogique, et dont la base s'accroît d’environ 500 000 nouvelles contributions...
We are excited to announce the release of Alt-Ergo 2.6! Alt-Ergo is an open-source automated prover used for formal verification in software development. It is part of the arsenal behind static analysis frameworks such as TrustInSoft Analyzer and Frama-C, and is one of the solvers behind Why3, a pla...
