site: premiere version statique du site web

1 files changed, 58 insertions, 0 deletions

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 @@
+<!DOCTYPE html>
+<html lang="fr">
+<head>
+  <meta charset="UTF-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0">
+  <title>GADTs et Free Monades - 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>LambdaNantes 2 : GADTs pour l'OOP et sur la triste réalité des Free Monades</h1>
+      <div class="event-meta">
+        <span class="event-meta__item">&#128197; 20 septembre 2022</span>
+        <span class="event-meta__item">&#128336; 17h00 - 20h00</span>
+        <span class="event-meta__item">&#128205; SFEIR, 40 Rue La Tour d'Auvergne, Nantes</span>
+      </div>
+    </div>
+  </header>
+
+  <section class="event-body">
+    <div class="container">
+      <div class="event-body__content">
+        <h2>Heureux les simples d'esprit</h2>
+        <p><strong>Arnaud Bailly</strong> 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.</p>
+
+        <h2>Méthodes gardées</h2>
+        <p><strong>Xavier Van de Woestyne</strong> 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.</p>
+
+        <a href="https://mobilizon.fr/events/04bd83db-fedb-4a61-8b67-6993618ce48d" 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>