A Tour of ML-style module systems

Gabriel Radanne

Date: Wed, February 24, 2021
Time: 12:00
Room: Eelco's Zoom Room

Modules are, in one form or another, present in almost all programming languages. ML languages famously provide an extremely rich module system that form a second language designed to provide large-scale composition and abstraction. The principal mainstream represent of this tradition is the OCaml language. In this talk, I’ll present ML modules in practice, through OCaml examples and live-coding, and in theory, with a presentation of the underlying theory, and the sort of meta-theoretical guarantees we can expect. We will then take a quick tour of the “new cool kids”, promising alternative formulations of modules such as 1ML, and what feature they bring.

Previous: Jens de Waard |
Next: |