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

Rss feed

Florian's OCaml compiler weekly, 5 June 2023

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.

next

Two variants of the Bind rule

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.

next

Specifying Functions: Two Styles

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.

next

Florian's OCaml compiler weekly, 28 April 2023

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 compiler messages and backward compatibility.

next

Florian's OCaml compiler weekly, 24 April 2023

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 two interesting bugs in the first alpha release of OCaml 5.1.0.

next

Florian's OCaml compiler weekly, 17 April 2023

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 first alpha release of OCaml 5.1.0 and some discussion with the ocamlformat team.

next

Florian's OCaml compiler weekly, 11 April 2023

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 newly tagged OCaml 5.1 branch.

next

OCaml compiler weekly, 3 April 2023

This series of blog post aims to give a short weekly glimpse into my (Florian Angeletti) work on the OCaml compiler: this week, the focus is on format string and how to serialize partial error messages while still using the formatting engine from the Format module.

next

OCaml compiler weekly, 27 March 2023

This series of blog post aims to give a short weekly glimpse into my (Florian Angeletti) work on the OCaml compiler.

next

Measuring OCaml compilation speed after a refactoring

It can be tricky to evaluate the effect of invidual commits or pull requests on the speed of the OCaml compiler. In this blog post, I (Florian Angeletti) report my experience on measuring such impact with some degree of statistical significance. next