ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Fri 6 Sep 2024 10:00 - 10:30 at Orange 2 - Session 1 Chair(s): David Allsopp

We present Fram, an experimental programming language designed in the tradition of ML, and which aims to increase the ergonomics of programming with lexically-scoped handlers of algebraic effects. The key ingredient in the design of Fram is a very general mechanism of named parameters. It was originally inspired by the work of Lewis et al. on implicit parameters, but we observed that it can be generalized and, when integrated with other parts of the language, it is capable of expressing many sophisticated language features, such as records, existential types, or even functors. As a result, we obtained a useful, fully-fledged, yet relatively small programming language.

Fri 6 Sep

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

09:30 - 10:30
Session 1ML at Orange 2
Chair(s): David Allsopp Tarides
09:30
30m
Talk
Designing interrupts for ML and OCaml
ML
Guillaume Munch-Maccagnoni INRIA, Leo White Jane Street, Stephen Dolan Jane Street
10:00
30m
Talk
Fram: Named Parameters Pushed to the Limit
ML
Patrycja Balik University of Wrocław, Piotr Polesiuk University of Wrocław
Media Attached