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.

CPS Representation and Foundational Design Decisions in Flambda2

In this first post of the Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Compiling with Continuations, Continue...

19 Mar 2024

OCamlPro

Read Article
Flambda2 Ep. 1: Foundational Design Decisions

Welcome to The Flambda2 Snippets! In this first post of The Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Comp...

19 Mar 2024

OCamlPro

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