Name: OUPS Octobre 2025
Start: 2025-10-13T18:30:00+02:00
End: 2025-10-13T20:30:00+02:00
Location: 4 Pl. Jussieu

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](https://galene.irill.org/group/oups/).
Toutes les informations sont disponibles sur le [site du OUPS](https://oups.frama.io/).

**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 !

crozet

Milla Valnet

Danaël Carbonneau

Henri Saudubray

OCaml Users in PariS (OUPS)

Technology

OCaml Programming

Programming Languages

Functional Programming

Type Systems

Machine Learning

Compilers

Software Development

Computer Programming

OUPS Octobre 2025

4 Pl. Jussieu

Partager

OCaml Users in PariS (OUPS)

OUPS Octobre 2025

OCaml Users in PariS (OUPS)

Détails

Les membres s'intéressent également à