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.

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

Read Article
Are Your Programs Doing What You Think They're Doing? Introducing Monitoring Tools for Multicore OCaml

As programs grow in size and complexity, they become more challenging to optimise. When the cause of a particular performance issue can…

31 Jan 2024

Tarides

Read Article