ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Sat 7 Sep 2024 09:00 - 09:22 at Orange 2 - OCaml compiler features and optimizations Chair(s): Stephen Dolan

We present and discuss the design and implementation of \emph {modular explicits}, an extension of \OCaml first-class modules with \emph {module-dependent functions}, functions taking first-class modules as arguments. We show some difficulties with the present use of first-class modules and how modular explicits solve them in a simpler, more direct way. Modular explicits are fully compatible with, and can be presented as an extension of, first-class modules. Interestingly, both the formalization and the implementation reuse the mechanism designed to ensure principal types in the presence of semi-explicit first-class polymorphism and \OCaml polymorphic methods. Modular explicits are also meant to be the underlying language in which \emph {modular implicits}, \ie module arguments left implicit from their signatures, should be elaborated.

Paper (ocaml2024-final11.pdf)316KiB

Sat 7 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
OCaml compiler features and optimizationsOCaml at Orange 2
Chair(s): Stephen Dolan Jane Street

Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y

09:00
22m
Talk
On the design and implementation of Modular Explicitsin-person
OCaml
Samuel Vivien INRIA & École Normale Supérieure | Université PSL, Didier Rémy Inria
File Attached
09:22
22m
Talk
Flambda2 Validatorin-person
OCaml
Irene Yoon Inria, Chris Casinghino Jane Street
File Attached
09:45
22m
Talk
A Non-allocating Optionin-person
OCaml
File Attached
10:07
22m
Talk
Mixed Blocks: Storing More Fields Flatin-person
OCaml
Nicholas Roberts Jane Street
File Attached