Modern DSL compiler architecture in OCaml our experience with Catala
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.
Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30
|Eio 1.0 – Effects-based IO for OCaml 5
Thomas Leonard Tarides, Patrick Ferris University of Cambridge, UK, Christiano Haesbaert Tarides, Lucas Pluvinage Tarides, Vesa Karvonen Tarides, Sudha Parimala Tarides, KC Sivaramakrishnan IIT Madras and Tarides, Vincent Balat Tarides, Anil Madhavapeddy University of Cambridge, UKFile Attached
|Modern DSL compiler architecture in OCaml our experience with CatalaRemote
|Runtime Detection of Data Races in OCaml with ThreadSanitizerRemote
|Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the codeRemote
Edwin Török XenServer, Cloud Software GroupFile Attached