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/2025-11-13-injection-dependances.html | 60 ----------------------- 1 file changed, 60 deletions(-) delete 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 deleted file mode 100644 index 0994b7b..0000000 --- a/site/events/2025-11-13-injection-dependances.html +++ /dev/null @@ -1,60 +0,0 @@ - - - - - - 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