https://lambda-nantes.fr/atom.xmlLambda NantesYOCaml2026-11-19T00:00:00ZLambda Nanteshttps://lambda-nantes.fr/events/2026-11-19-14-ts-scala3.htmlLambdaNantes 14 : Typescript & Scala 32026-11-19T00:00:00ZDérivations automatiques en Scala 3 et le système de types en Typescripthttps://lambda-nantes.fr/events/2026-10-13-atelier-5.htmlAtelier Lambda Nantes #52026-10-13T00:00:00ZOCaml pour le web : pages statiques & applications dynamiqueshttps://lambda-nantes.fr/events/2026-09-24-la-couleur-des-bruits.htmlLambdaNantes 13 : La couleur des bruits2026-09-24T00:00:00Z
Retour d'expérience sur la génération de textures sonores, suivi d'une présentation des cultures de la programmation
https://lambda-nantes.fr/events/2026-06-23-pas-que-git.htmlLambdaNantes 12 : Il n'y a pas que Git dans la vie2026-06-23T00:00:00ZJujutsu & Radicle : repenser le contrôle de version.https://lambda-nantes.fr/events/2026-05-21-programmation-compositionnelle.htmlLambdaNantes 11 : Programmation compositionnelle et traversabilité2026-05-21T00:00:00Z
Expression Problem et foncteurs applicatifs avec Eric Torreborre et Clément Delafargue.
https://lambda-nantes.fr/events/2026-04-16-atelier-4.htmlAtelier Lambda Nantes #42026-04-16T00:00:00ZOCaml pour le web : développement et déploiement d'un unikernel.https://lambda-nantes.fr/events/2026-03-19-plain-pattern-language.htmlLambda Nantes 10 : Plain Pattern Language2026-03-19T00:00:00ZGrammaires formelles et génération procédurale avec Lorie den Os.https://lambda-nantes.fr/events/2026-02-19-langages-de-niches.htmlLambda Nantes 9 : Pourquoi choisir des langages de niches ?2026-02-19T00:00:00ZRetour d'expérience Scala, Haskell et Rust avec Clément Delafargue.https://lambda-nantes.fr/events/2025-12-10-interprete-prolog.htmlWorkshop 3 : Créons un interprète Prolog2025-12-10T00:00:00ZAtelier collaboratif d'introduction à la programmation logique.https://lambda-nantes.fr/events/2025-11-13-injection-dependances.html
Lambda Nantes 8 : De l'injection de dépendances dans les langages fonctionnels
2025-11-13T00:00:00ZComparaison Unison vs OCaml avec Eric Torreborre et Xavier van de Woestyne.https://lambda-nantes.fr/events/2025-10-09-lambda-calcul-type.htmlWorkshop 2bis : Interprétons le lambda-calcul typé2025-10-09T00:00:00ZAjout d'un système de types simples à un interpréteur de lambda-calcul.https://lambda-nantes.fr/events/2025-03-27-logs-observabilite.htmlLambdaNantes 7 : Des logs pour de la traçabilité et de l'observabilité2025-03-27T00:00:00ZOpenTelemetry et observabilité dans les systèmes distribués avec Lucas.https://lambda-nantes.fr/events/2025-01-30-tests-proprietes.htmlLambdaNantes 6 : Les tests dirigés par les propriétés2025-01-30T00:00:00ZAtelier property-based testing avec Arnaud Bailly.https://lambda-nantes.fr/events/2024-10-10-lambda-calcul.htmlWorkshop 1 : Interprétons le Lambda Calcul2024-10-10T00:00:00ZPremier atelier : construire un interpréteur de lambda-calcul.https://lambda-nantes.fr/events/2024-06-20-types-dependants.htmlLambdaNantes 5 : Types, types et types (dépendants)2024-06-20T00:00:00Z
Type-Driven Development et types dépendants avec Arnaud Bailly et Didier Plaindoux.
https://lambda-nantes.fr/events/2023-10-23-monades-gratuites.htmlLambdaNantes 4 : Monades Gratuites et Systèmes de build2023-10-23T00:00:00ZFree Monads et build systems avec Nicolas Rinaudo et Xavier Van de Woestyne.https://lambda-nantes.fr/events/2023-06-23-haskell.htmlLambdaNantes 3 : Haskell à l'honneur2023-06-23T00:00:00ZBiscuit tokens et Flora.pm avec Clément Delafargue et Théophile Choutri.https://lambda-nantes.fr/events/2022-09-20-gadts-free-monads.html
LambdaNantes 2 : GADTs pour l'OOP et sur la triste réalité des Free Monades
2022-09-20T00:00:00Z
Réalité des Free Monads et méthodes gardées avec Arnaud Bailly et Xavier Van de Woestyne.
https://lambda-nantes.fr/events/2022-05-19-reutilisation-effets.htmlLambdaNantes 1 : Réutilisation de fonctions et abstraction d'effets2022-05-19T00:00:00Z
Première édition ! Monads, Functors et stream processing avec Nicolas Rinaudo et Romain Lecomte.