diff options
Diffstat (limited to 'site/events')
| -rw-r--r-- | site/events/2022-05-19-reutilisation-effets.html | 60 | ||||
| -rw-r--r-- | site/events/2022-09-20-gadts-free-monads.html | 58 | ||||
| -rw-r--r-- | site/events/2023-06-23-haskell.html | 60 | ||||
| -rw-r--r-- | site/events/2023-10-23-monades-gratuites.html | 58 | ||||
| -rw-r--r-- | site/events/2024-06-20-types-dependants.html | 58 | ||||
| -rw-r--r-- | site/events/2024-10-10-lambda-calcul.html | 58 | ||||
| -rw-r--r-- | site/events/2025-01-30-tests-proprietes.html | 56 | ||||
| -rw-r--r-- | site/events/2025-03-27-logs-observabilite.html | 56 | ||||
| -rw-r--r-- | site/events/2025-10-09-lambda-calcul-type.html | 58 | ||||
| -rw-r--r-- | site/events/2025-11-13-injection-dependances.html | 60 | ||||
| -rw-r--r-- | site/events/2025-12-10-interprete-prolog.html | 58 | ||||
| -rw-r--r-- | site/events/2026-02-19-langages-de-niches.html | 58 | ||||
| -rw-r--r-- | site/events/2026-03-19-plain-pattern-language.html | 58 | ||||
| -rw-r--r-- | site/events/2026-04-16-atelier-4.html | 56 | ||||
| -rw-r--r-- | site/events/2026-05-21-programmation-compositionnelle.html | 60 |
15 files changed, 872 insertions, 0 deletions
diff --git a/site/events/2022-05-19-reutilisation-effets.html b/site/events/2022-05-19-reutilisation-effets.html new file mode 100644 index 0000000..90dc6a5 --- /dev/null +++ b/site/events/2022-05-19-reutilisation-effets.html @@ -0,0 +1,60 @@ +<!DOCTYPE html> +<html lang="fr"> +<head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Réutilisation de fonctions et abstraction d'effets - 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 1 : Réutilisation de fonctions et abstraction d'effets</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 19 mai 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"> + <p>Première édition de LambdaNantes ! Deux présentations d'experts suivies de discussions informelles dans un café à proximité.</p> + + <h2>Function Reuse is Only a Pious Wish</h2> + <p><strong>Nicolas Rinaudo</strong> (CTO de Besedo) démystifie les concepts de programmation fonctionnelle comme "Monad" et "Functor". Plutôt que de s'appuyer sur la théorie des catégories, il démontre comment ces abstractions émergent naturellement dans les projets du monde réel.</p> + + <h2>Abstraction d'effets via Stream Processing par Free Monad</h2> + <p><strong>Romain Lecomte</strong> (développeur chez Conduktor) explore les applications pratiques de structures fonctionnelles développées lors de la construction d'un outil léger de gestion de cluster Kafka en Scala.</p> + + <a href="https://mobilizon.fr/events/cbdc5c90-107a-4c49-872a-8671644a2cb5" 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> 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> diff --git a/site/events/2023-06-23-haskell.html b/site/events/2023-06-23-haskell.html new file mode 100644 index 0000000..621c1a0 --- /dev/null +++ b/site/events/2023-06-23-haskell.html @@ -0,0 +1,60 @@ +<!DOCTYPE html> +<html lang="fr"> +<head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Haskell à l'honneur - 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 3 : Haskell à l'honneur</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 23 juin 2023</span> + <span class="event-meta__item">🕐 17h00 - 19h30</span> + <span class="event-meta__item">📍 PaloIT, 1 Rue Saint Julien, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <h2>Building biscuit-haskell: lessons learned and fancy techniques</h2> + <p><strong>Clément Delafargue</strong> présente son implémentation Haskell des tokens biscuit, explorant le C FFI, megaparsec, les type-families et template haskell.</p> + + <h2>Flora.pm, code, architecture and DDD</h2> + <p><strong>Théophile Choutri</strong> présente un dépôt de paquets Hackage alternatif mettant l'accent sur l'expérience utilisateur et les concepts de domain-driven design.</p> + + <p>Les présentations sont en français malgré les titres et résumés en anglais.</p> + + <a href="https://mobilizon.fr/events/51282797-65a8-4231-ad8a-4ee2dccfc754" 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> diff --git a/site/events/2023-10-23-monades-gratuites.html b/site/events/2023-10-23-monades-gratuites.html new file mode 100644 index 0000000..3efc111 --- /dev/null +++ b/site/events/2023-10-23-monades-gratuites.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>Monades Gratuites et Systèmes de build - 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 4 : Monades Gratuites et Systèmes de build</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 23 octobre 2023</span> + <span class="event-meta__item">🕐 17h00 - 19h30</span> + <span class="event-meta__item">📍 PaloIT, 1 Rue Saint Julien, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <h2>La monade discutablement gratuite</h2> + <p><strong>Nicolas Rinaudo</strong> aborde un sujet simple, compréhensible et original sur les Free Monads, conçu pour intéresser les développeurs Scala de la région.</p> + + <h2>Construction d'un build system avec du jargon fonctionnel</h2> + <p><strong>Xavier Van de Woestyne</strong> explore les approches fonctionnelles de la construction de systèmes. Les idiomes présentés sont utiles et peuvent être appliqués sous forme réduite pour résoudre des problèmes plus courants comme la génération de sites statiques, la construction de pipelines, etc.</p> + + <a href="https://mobilizon.fr/events/1779fd8b-8e51-485b-87fd-2b2e54c348d4" 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> diff --git a/site/events/2024-06-20-types-dependants.html b/site/events/2024-06-20-types-dependants.html new file mode 100644 index 0000000..b4bd183 --- /dev/null +++ b/site/events/2024-06-20-types-dependants.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>Types, types et types (dépendants) - 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 5 : Types, types et types (dépendants)</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 20 juin 2024</span> + <span class="event-meta__item">🕐 17h00 - 19h30</span> + <span class="event-meta__item">📍 PaloIT, 1 Rue Saint Julien, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <h2>Le XXIème sera typé ou ne sera pas</h2> + <p><strong>Arnaud Bailly</strong> explore le Type-Driven Development à travers des exemples en Elm, Haskell et Idris, couvrant les types algébriques, type classes, type families, etc. jusqu'aux frontières des types dépendants.</p> + + <h2>Types dépendants : de la théorie à la pratique en mode interactif !</h2> + <p><strong>Didier Plaindoux</strong> passe de la théorie vers la pratique en examinant les définitions formelles. Les sujets incluent les types fonctions dépendants, les paires dépendantes, les types somme et l'égalité propositionnelle.</p> + + <a href="https://mobilizon.fr/events/45729d5f-7725-47e4-a29d-99a872b9ec4f" 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> diff --git a/site/events/2024-10-10-lambda-calcul.html b/site/events/2024-10-10-lambda-calcul.html new file mode 100644 index 0000000..77db059 --- /dev/null +++ b/site/events/2024-10-10-lambda-calcul.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>Interprétons le Lambda Calcul - 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>Workshop 1 : Interprétons le Lambda Calcul</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 10 octobre 2024</span> + <span class="event-meta__item">🕐 17h00 - 19h30</span> + <span class="event-meta__item">📍 PaloIT, 1 Rue Saint Julien, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p>Première édition des Workshops de Lambda Nantes ! Une session interactive explorant le Lambda Calcul. Les participants construisent collaborativement un interpréteur de Lambda Calcul, dans le langage de programmation de leur choix.</p> + + <p>La session couvre l'implémentation d'un interpréteur, la compréhension des arbres syntaxiques abstraits, leur représentation dans des langages mainstream comme TypeScript ou Kotlin, et l'évaluation d'expressions.</p> + + <p>Premier d'une série, cet atelier initie une progression vers la construction d'un langage de programmation compilé. Des implémentations canoniques en Kotlin et TypeScript sont fournies pour les sessions futures.</p> + + <a href="https://mobilizon.fr/events/74195726-6f81-4520-8ae0-068d96146d62" 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> diff --git a/site/events/2025-01-30-tests-proprietes.html b/site/events/2025-01-30-tests-proprietes.html new file mode 100644 index 0000000..7becb07 --- /dev/null +++ b/site/events/2025-01-30-tests-proprietes.html @@ -0,0 +1,56 @@ +<!DOCTYPE html> +<html lang="fr"> +<head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Les tests dirigés par les propriétés - 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 6 : Les tests dirigés par les propriétés</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 30 janvier 2025</span> + <span class="event-meta__item">🕐 18h00 - 19h30</span> + <span class="event-meta__item">📍 PaloIT, Place Royale, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p>Atelier animé par <strong>Arnaud Bailly</strong> introduisant le property-based testing (PBT). La session explore les principes fondamentaux, les applications pratiques et les approches d'implémentation à travers des exercices pratiques : construction d'un outil de test simple et expérimentation avec des frameworks existants.</p> + + <p>L'événement accueille tous les langages de programmation et ne nécessite aucun prérequis. Bien que le PBT soit largement reconnu comme précieux, sa mise en oeuvre pratique peut être difficile. Cet atelier vise à démontrer comment la compréhension du PBT peut renforcer la résilience des applications.</p> + + <a href="https://mobilizon.fr/events/c268d2db-9e41-4e34-bef2-daf2bbcb2ef0" 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> diff --git a/site/events/2025-03-27-logs-observabilite.html b/site/events/2025-03-27-logs-observabilite.html new file mode 100644 index 0000000..ca8edf0 --- /dev/null +++ b/site/events/2025-03-27-logs-observabilite.html @@ -0,0 +1,56 @@ +<!DOCTYPE html> +<html lang="fr"> +<head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Des logs pour de la traçabilité et de l'observabilité - 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 7 : Des logs pour de la traçabilité et de l'observabilité</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 27 mars 2025</span> + <span class="event-meta__item">🕐 18h15 - 19h30</span> + <span class="event-meta__item">📍 PaloIT, 1 Rue Saint Julien, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p><strong>Lucas</strong>, développeur backend freelance spécialisé dans les microservices et les langages typés (Golang, Rust), présente l'observabilité dans les systèmes distribués.</p> + + <p>La présentation aborde comment les logs traditionnels atteignent leurs limites dans les architectures distribuées, avec un manque de contexte et une mauvaise visibilité inter-services. Lucas démontre l'utilisation d'OpenTelemetry, un standard ouvert pour les métriques, traces et logs, pour atteindre une observabilité complète et corréler les données à travers les systèmes.</p> + + <a href="https://mobilizon.fr/events/fcba326f-c3d5-4062-a2d8-cac5cb93130c" 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> diff --git a/site/events/2025-10-09-lambda-calcul-type.html b/site/events/2025-10-09-lambda-calcul-type.html new file mode 100644 index 0000000..468043a --- /dev/null +++ b/site/events/2025-10-09-lambda-calcul-type.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>Interprétons le lambda-calcul typé - 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>Workshop 2bis : Interprétons le lambda-calcul typé</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 9 octobre 2025</span> + <span class="event-meta__item">🕐 17h00 - 19h00</span> + <span class="event-meta__item">📍 Epitech, 2 Place Louis Daubenton, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p>Cet atelier pratique fait suite à une précédente exploration du lambda-calcul. Les participants enrichiront un interpréteur de lambda-calcul en ajoutant un système de types simples.</p> + + <p>La session couvre des concepts importants de programmation : typage structurel, inférence de types, variables de types, et types somme/produit.</p> + + <p>L'atelier ne nécessite pas d'avoir participé à l'événement original, les concepts fondamentaux seront revus. Les participants sont invités à apporter leurs machines et environnements de développement pour coder collaborativement, le travail en binôme étant possible pour ceux sans équipement.</p> + + <a href="https://mobilizon.fr/events/39b75b66-d472-40c8-9a7e-d325a9bffcb4" 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> 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 @@ +<!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'>λ</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>Lambda Nantes 8 : De l'injection de dépendances dans les langages fonctionnels</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 13 novembre 2025</span> + <span class="event-meta__item">🕐 18h00 - 20h00</span> + <span class="event-meta__item">📍 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 →</a> + </div> + </div> + </section> + + <footer class="footer"> + <div class="container"> + <p>λ-Nantes — Nantes, France</p> + </div> + </footer> +</body> +</html> diff --git a/site/events/2025-12-10-interprete-prolog.html b/site/events/2025-12-10-interprete-prolog.html new file mode 100644 index 0000000..3579af1 --- /dev/null +++ b/site/events/2025-12-10-interprete-prolog.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>Créons un interprète Prolog - 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>Workshop 3 : Créons un interprète Prolog</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 10 décembre 2025</span> + <span class="event-meta__item">🕐 18h00 - 20h00</span> + <span class="event-meta__item">📍 Epitech, 2 Place Louis Daubenton, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p>Cet atelier introduit la programmation logique et invite les participants à développer collaborativement un interprète Prolog minimal en petits groupes.</p> + + <p>La session explore les concepts fondamentaux : base de faits (atomes), base de règles, recherche, inférence et coupure. Aucune connaissance préalable en programmation logique n'est nécessaire, et l'atelier reste agnostique quant au langage de programmation utilisé.</p> + + <p>Les participants sont invités à apporter leurs machines et environnements de développement, mais la collaboration avec d'autres est possible pour ceux qui n'ont pas d'équipement.</p> + + <a href="https://mobilizon.fr/events/b1a390b5-fa9d-46c8-8c4e-46d6545ba654" 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> diff --git a/site/events/2026-02-19-langages-de-niches.html b/site/events/2026-02-19-langages-de-niches.html new file mode 100644 index 0000000..a840131 --- /dev/null +++ b/site/events/2026-02-19-langages-de-niches.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>Pourquoi choisir des langages de niches ? - 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>Lambda Nantes 9 : Pourquoi choisir des langages de niches ?</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 19 février 2026</span> + <span class="event-meta__item">🕐 18h00 - 20h00</span> + <span class="event-meta__item">📍 Epitech, 2 Place Louis Daubenton, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p><strong>Clément Delafargue</strong>, ingénieur logiciel chez Datadog avec une expérience de Tech Lead, CTO, formateur et consultant, discute de pourquoi les langages de programmation de niche peuvent être supérieurs aux alternatives mainstream.</p> + + <p>S'appuyant sur son expérience pratique avec Scala, Haskell et Rust, il aborde les préoccupations managériales notamment le recrutement, la formation d'équipe et la rétention. La présentation explore les impacts concrets sur les développeurs à travers des écosystèmes plus petits et les gains potentiels, tout en examinant les stratégies gagnantes et les pièges à éviter.</p> + + <p>La session conclut en réévaluant les critères de succès pour l'adoption de technologies spécialisées, allant au-delà des affirmations simplifiées de productivité vers une prise de décision nuancée.</p> + + <a href="https://mobilizon.fr/events/aba0ec1b-2e6c-4392-af30-eaa98a8f9a03" 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> diff --git a/site/events/2026-03-19-plain-pattern-language.html b/site/events/2026-03-19-plain-pattern-language.html new file mode 100644 index 0000000..4411aba --- /dev/null +++ b/site/events/2026-03-19-plain-pattern-language.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>Plain Pattern Language - 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>Lambda Nantes 10 : Plain Pattern Language</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 19 mars 2026</span> + <span class="event-meta__item">🕐 18h00 - 20h00</span> + <span class="event-meta__item">📍 Place Louis Daubenton, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p><strong>Lorie den Os</strong> explore les méthodes de grammaires formelles appliquées à des contextes non conventionnels, comme la génération procédurale de maisons dans des simulations. La présentation aborde les méta-grammaires d'arbres, la syntaxe spatiale, et "A Pattern Language" de Christopher Alexander - l'oeuvre qui a inspiré les design patterns en développement logiciel.</p> + + <p>La conférence couvre les grammaires d'arbres pour la génération de texte, les méta-grammaires, les ontologies, et les techniques pour formaliser les concepts abstraits de patterns d'Alexander. L'objectif : démontrer comment "construire des maisons de la même manière qu'on compose des phrases".</p> + + <p>Lorie den Os est Product Tech Lead chez Yseop, spécialisée dans les technologies de génération de texte au-delà des grands modèles de langage.</p> + + <a href="https://mobilizon.fr/events/beedbf8f-23a8-4105-8624-8559058f6380" 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> diff --git a/site/events/2026-04-16-atelier-4.html b/site/events/2026-04-16-atelier-4.html new file mode 100644 index 0000000..4238d6d --- /dev/null +++ b/site/events/2026-04-16-atelier-4.html @@ -0,0 +1,56 @@ +<!DOCTYPE html> +<html lang="fr"> +<head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Atelier Lambda Nantes #4 - 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>Atelier Lambda Nantes #4</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 16 avril 2026</span> + <span class="event-meta__item">🕐 17h00 - 19h00</span> + <span class="event-meta__item">📍 Place Louis Daubenton, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p>Cet atelier explore OCaml pour le développement web à travers les unikernels, comme alternative aux architectures conventionnelles de microservices. Plutôt que de s'appuyer sur les abstractions Docker et Kubernetes, les participants développeront et déploieront collaborativement un unikernel conçu pour ajouter des fonctionnalités d'interaction sociale aux sites web générés statiquement.</p> + + <p>Le projet sert de fondation pour la présence en ligne officielle de LambdaNantes, offrant aux participants l'opportunité de contribuer directement aux efforts de développement du groupe. Des instructions d'installation seront fournies au préalable pour maximiser la productivité de l'atelier.</p> + + <a href="https://mobilizon.fr/events/cabe649a-a126-4e41-aa84-701d7944f818" 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> diff --git a/site/events/2026-05-21-programmation-compositionnelle.html b/site/events/2026-05-21-programmation-compositionnelle.html new file mode 100644 index 0000000..2740785 --- /dev/null +++ b/site/events/2026-05-21-programmation-compositionnelle.html @@ -0,0 +1,60 @@ +<!DOCTYPE html> +<html lang="fr"> +<head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Programmation compositionnelle et traversabilité - 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>Programmation compositionnelle et traversabilité</h1> + <div class="event-meta"> + <span class="event-meta__item">📅 21 mai 2026</span> + <span class="event-meta__item">🕐 17h00 - 19h00</span> + <span class="event-meta__item">📍 2 Place Louis Daubenton, Nantes</span> + </div> + </div> + </header> + + <section class="event-body"> + <div class="container"> + <div class="event-body__content"> + <p>Avant-dernière session de la saison 2025-2026 de Lambda Nantes, accueillie par Epitech Nantes, suivie de discussions informelles dans un bar à proximité.</p> + + <h2>Programmation compositionnelle</h2> + <p><strong>Eric Torreborre</strong> aborde les avancées récentes dans la résolution du "Expression Problem". Il explore comment la modularisation du code, bien que bénéfique, présente des défis significatifs. A travers un exemple concret de système, il examine les difficultés de modularité et montre pourquoi les solutions existantes s'avèrent insuffisantes pour les dépendances modulaires complexes. La session explore un nouveau langage de programmation avec des systèmes de types avancés offrant des progrès sur ces questions.</p> + + <h2>Traversabilité</h2> + <p><strong>Clément Delafargue</strong> explique pourquoi "c'est toujours traverse !" dans les communautés de programmation fonctionnelle. Cette fonction est devenue largement applicable dans des contextes variés : appels asynchrones, validation de données, exécution conditionnelle et génération de parsers. La discussion couvre les foncteurs applicatifs qui sous-tendent cette abstraction.</p> + + <a href="https://mobilizon.fr/events/804503f4-0552-4f48-9eab-ce060e6df83d" 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> |
