diff options
Diffstat (limited to 'site/events/2022-09-20-gadts-free-monads.html')
| -rw-r--r-- | site/events/2022-09-20-gadts-free-monads.html | 58 |
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'>λ</text></svg>"> +</head> +<body> + <nav class="nav"> + <div class="container nav__inner"> + <a href="../index.html" class="nav__brand"><span class="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">← 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">📅 20 septembre 2022</span> + <span class="event-meta__item">🕐 17h00 - 20h00</span> + <span class="event-meta__item">📍 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 →</a> + </div> + </div> + </section> + + <footer class="footer"> + <div class="container"> + <p>λ-Nantes — Nantes, France</p> + </div> + </footer> +</body> +</html> |