Gagallium (original) (raw)

A blog at Cambium: informal posts about research, programming practice, OCaml development, and general ramblings.

Florian’s compiler weekly, 13 January 2025

• January 13, 2025

This series of blog post aims to give a short weekly glimpse into my (Florian Angeletti) work on the OCaml compiler. This week subject is my personal retrospective on the release of OCaml 5.3.0.

Florian compiler weekly, 11 December 2023

• December 11, 2023
• By Florian Angeletti

This series of blog post aims to give a short weekly glimpse into my (Florian Angeletti) work on the OCaml compiler. This week subject is the release of OCaml 5.1.1, some review work on occurrences analysis for OCaml projects and a bit of on-going work on structured logs.

Rethinking OCaml abstract signatures

• December 1, 2023
• By Clément Blaudeau

Abstract module types are one of the less understood features of the OCaml module system. They have been one of the obstacles in the on-going effort to specify, and eventually redesign, the module system.

In this blog post, I (Clément Blaudeau) present an explanation of what are those abstract module types, and propose a slightly restricted version that might be easier to understand and specify while remaining pretty expressive.

Florian compiler weekly, 26 September 2023

• September 26, 2023
• By Florian Angeletti

This series of blog post aims to give a short weekly glimpse into my (Florian Angeletti) work on the OCaml compiler. This week subject is some data analysis of the OCaml changelog.

Florian’s OCaml compiler weekly, 5 July 2023

• July 5, 2023
• By Florian Angeletti

This series of blog posts aims to give a short weekly glimpse into my (Florian Angeletti) daily work on the OCaml compiler. The subject this week is a cartography of the source of opam packages breakage in OCaml 5.1.0 .

Florian’s OCaml compiler weekly, 20 June 2023

• June 20, 2023
• By Florian Angeletti

This series of blog posts aims to give a short weekly glimpse into my (Florian Angeletti) daily work on the OCaml compiler. This quiet week was focused on finishing ongoing tasks and discussing future collaborations.

Florian’s OCaml compiler weekly, 12 June 2023

• June 12, 2023
• By Florian Angeletti

This series of blog post aims to give a short weekly glimpse into my (Florian Angeletti) daily work on the OCaml compiler. This week, the focus is on my roadmap for OCaml 5.2.0 .

Florian’s OCaml compiler weekly, 5 June 2023

• June 5, 2023
• By Florian Angeletti

This series of blog post aims to give a short weekly glimpse into my (Florian Angeletti) daily work on the OCaml compiler. This week, the focus is on the release of the second alpha for OCaml 5.1.0.

Two variants of the Bind rule

• May 30, 2023
• By François Pottier

This post discusses two ways of writing the Bind rule of Separation Logic. They are logically equivalent, but in practice, one should choose wisely between them.

Specifying Functions: Two Styles

• May 12, 2023
• By François Pottier

In this post, I discuss two approaches to writing formal specifications for (possibly curried) functions of multiple arguments. I refer to these two styles as callee-side reasoning and_caller-side reasoning_. While the former style is very much standard, the latter style is perhaps relatively little known.