OUPS Octobre 2025

Le prochain OUPS aura lieu le lundi 13 octobre 2025. Le rendez-vous est fixé à 18h30 au 4 place Jussieu, amphi Astier, dans le bâtiment Esclangon.

L'inscription est obligatoire pour pouvoir accéder au meetup !
Les exposés seront également retransmis en ligne sur le galène du OUPS.
Toutes les informations sont disponibles sur le site du OUPS.

Programme :

What's the deal with modular implicits ? -- Samuel Vivien

Modular implicits est une extension d'OCaml présentée en 2014 comme une solution à l'absence de type classe en OCaml. Cependant malgré l'ancienneté de cette proposition cette fonctionnalité n'est toujours pas disponible dans OCaml. Nous ferons un tour d'horizon de modular implicits pour rappeler comment cette fonctionnalité marche, ce qui as déjà été implémenté dans le compilateur mais aussi ce qu'il reste à faire ainsi que les problématiques liés au typage des implicites.

Flambda2: Abstractions without Cost* -- Guillaume Bury

***
Les présentations seront suivies par des discussions libres. Les pizzas seront offertes par la fondation OCaml !