site/events/2025-11-13-injection-dependances.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

<!DOCTYPE html>
<html lang="fr">
<head>
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <title>Injection de dépendances dans les langages fonctionnels - Lambda Nantes</title>
  <link rel="preconnect" href="https://fonts.googleapis.com">
  <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
  <link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;700&display=swap" rel="stylesheet">
  <link rel="stylesheet" href="../style.css">
  <link rel="stylesheet" href="../event.css">
  <link rel="icon" href="data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 100 100'><text y='.9em' font-size='90'>&#955;</text></svg>">
</head>
<body>
  <nav class="nav">
    <div class="container nav__inner">
      <a href="../index.html" class="nav__brand"><span class="lambda">&lambda;</span>-Nantes</a>
      <ul class="nav__links">
        <li><a href="../index.html#a-propos">A propos</a></li>
        <li><a href="../index.html#ateliers">Rencontres</a></li>
        <li><a href="../index.html#rejoindre">Rejoindre</a></li>
      </ul>
    </div>
  </nav>

  <header class="event-hero">
    <div class="container">
      <a href="../index.html#ateliers" class="event-hero__back">&larr; Toutes les rencontres</a>
      <h1>Lambda Nantes 8 : De l'injection de dépendances dans les langages fonctionnels</h1>
      <div class="event-meta">
        <span class="event-meta__item">&#128197; 13 novembre 2025</span>
        <span class="event-meta__item">&#128336; 18h00 - 20h00</span>
        <span class="event-meta__item">&#128205; Epitech, 2 Place Louis Daubenton, Nantes</span>
      </div>
    </div>
  </header>

  <section class="event-body">
    <div class="container">
      <div class="event-body__content">
        <p>Deux présentations explorant l'injection de dépendances dans les langages fonctionnels, permettant une analyse comparative entre différents langages.</p>

        <h2>Injection de dépendances en Unison</h2>
        <p><strong>Eric Torreborre</strong> 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".</p>

        <h2>Injection de dépendances en OCaml</h2>
        <p><strong>Xavier van de Woestyne</strong> 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.</p>

        <a href="https://mobilizon.fr/events/49cacccc-c376-4c1d-8172-11d4c50d8df6" class="event-link" target="_blank" rel="noopener">Voir sur Mobilizon &rarr;</a>
      </div>
    </div>
  </section>

  <footer class="footer">
    <div class="container">
      <p>&lambda;-Nantes &mdash; Nantes, France</p>
    </div>
  </footer>
</body>
</html>