From 693698d6e74b0ae4f984b85d12bafc62dde9ad1c Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Fri, 29 May 2026 15:34:43 +0200 Subject: site: premiere version statique du site web --- site/events/2022-09-20-gadts-free-monads.html | 58 +++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create 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 new file mode 100644 index 0000000..97c1371 --- /dev/null +++ b/site/events/2022-09-20-gadts-free-monads.html @@ -0,0 +1,58 @@ + + + + + + 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