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 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

Read Article
Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap

Introducing our Flambda2 snippets 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 introduc...

18 Mar 2024

OCamlPro

Read Article
My experience at IndiaFOSS 2023: Community, Workshop, and Talks

There are plenty of exciting computer programming events happening in India, including the 5 day OCaml retreat that Tarides is hosting in…

13 Mar 2024

Tarides

Read Article
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
A Time for Change: Our Response to the White House Cybersecurity Press Release

As seasoned proponents of safety-by-design, we were pleased to see the February 26th White House press release titled "Future Software…

07 Mar 2024

Tarides

Read Article
Functions & Solving Problems in OCaml

Getting Started with writing Functions & Problem-Solving in OCaml

06 Mar 2024

Debajyati's Blog

Read Article
Two Major Improvements in odoc: Introducing Search Engine Integration

In the world of OCaml documentation generation, there have been two significant enhancements that promise to make navigating OCaml…

28 Feb 2024

Tarides

Read Article