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/2025-11-13-injection-dependances.html | 60 +++++++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100644 site/events/2025-11-13-injection-dependances.html (limited to 'site/events/2025-11-13-injection-dependances.html') diff --git a/site/events/2025-11-13-injection-dependances.html b/site/events/2025-11-13-injection-dependances.html new file mode 100644 index 0000000..0994b7b --- /dev/null +++ b/site/events/2025-11-13-injection-dependances.html @@ -0,0 +1,60 @@ + + + + + + Injection de dépendances dans les langages fonctionnels - Lambda Nantes + + + + + + + + + + +
+
+ ← Toutes les rencontres +

Lambda Nantes 8 : De l'injection de dépendances dans les langages fonctionnels

+
+ 📅 13 novembre 2025 + 🕐 18h00 - 20h00 + 📍 Epitech, 2 Place Louis Daubenton, Nantes +
+
+
+ +
+
+
+

Deux présentations explorant l'injection de dépendances dans les langages fonctionnels, permettant une analyse comparative entre différents langages.

+ +

Injection de dépendances en Unison

+

Eric Torreborre discute de comment implémenter l'injection de dépendances en Unison, un langage fonctionnel dépourvu de métaprogrammation mais offrant un système d'effets "abilities". Il établit des critères d'évaluation et montre comment utiliser les abilities pour l'injection de dépendances et permettre des "typeclasses programmables".

+ +

Injection de dépendances en OCaml

+

Xavier van de Woestyne présente l'injection de dépendances via l'encodage "ReaderT" combiné avec le polymorphisme de rangée d'OCaml. Cette approche s'appuie sur un article sur les modèles d'abstraction d'effets, montrant comment tirer parti de la sûreté de types du langage sans sacrifier l'expressivité. Aucune expérience préalable d'OCaml n'est requise.

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