ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Sat 9 Sep 2023 09:22 - 09:45 at Grand Crescent - Session 1 Chair(s): Benoît Montagu

In this presentation, we intend to show a state-of-the-art DSL implementation in OCaml, with concrete examples and experience reports.

In particular, we found that some advanced practices, while accepted among the hardcore OCaml developers (e.g. use of row type variables through object types), lacked visibility and documentation: some of them deserve to be better known.

Our experience is based on the Catala compiler, a DSL for the implementation of algorithms defined in law.

Slides (catala.pdf)301KiB