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.

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.

Sub-single-instruction Peano to machine integer conversion

It is a rainy end of January in Paris, morale is getting soggier by the day, and the bulk of our light exposure needs are now fulfilled by our computer screens as the sun seems to have definitively disappeared behind a continuous stream of low-hanging clouds. But, all is not lost, the warm rays of c...

23 Jan 2023

OCamlPro

Read Article
The Scavenger Method of Refactoring

How I refactor big pieces of code.

17 Jan 2023

Terrateam Blog

Read Article
Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23

We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ...

12 Jan 2023

OCamlPro

Read Article
Lambda Retreat Report

Today we're taking a little pause from our OCaml 5 series to talk about a programming retreat. I spent a week in the woods with fellow…

12 Jan 2023

Tarides

Read Article