From 966f532a61b34d187bfdeefed7617fbfb6f768ed Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 31 May 2026 16:57:32 +0200 Subject: site: move to own repo --- site/events/2022-09-20-gadts-free-monads.html | 58 --------------------------- 1 file changed, 58 deletions(-) delete mode 100644 site/events/2022-09-20-gadts-free-monads.html (limited to 'site/events/2022-09-20-gadts-free-monads.html') diff --git a/site/events/2022-09-20-gadts-free-monads.html b/site/events/2022-09-20-gadts-free-monads.html deleted file mode 100644 index 97c1371..0000000 --- a/site/events/2022-09-20-gadts-free-monads.html +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - GADTs et Free Monades - Lambda Nantes - - - - - - - - - - -
-
- ← Toutes les rencontres -

LambdaNantes 2 : GADTs pour l'OOP et sur la triste réalité des Free Monades

-
- 📅 20 septembre 2022 - 🕐 17h00 - 20h00 - 📍 SFEIR, 40 Rue La Tour d'Auvergne, Nantes -
-
-
- -
-
-
-

Heureux les simples d'esprit

-

Arnaud Bailly examine pourquoi les free monads et les algèbres d'effets, bien qu'élégantes théoriquement, ont échoué à plusieurs reprises dans le développement professionnel en Haskell, et questionne leur pertinence pour les projets logiciels à longue durée de vie.

- -

Méthodes gardées

-

Xavier Van de Woestyne démontre comment encoder des méthodes gardées en OCaml en utilisant les GADTs et les témoins d'égalité de types, implémentant une fonctionnalité OOP absente dans la plupart des langages statiquement typés.

- - Voir sur Mobilizon → -
-
-
- - - - -- cgit v1.3.1