Lambda Nantes - Programmation applicative et langages

A propos

- Nous nous réunissons régulièrement pour des conférences et des ateliers - autour des langages de programmation et du développement logiciel. -

- -

Programmation fonctionnelle

- Haskell, OCaml, Elm, Elixir, Clojure, Scala... - Nous explorons les langages fonctionnels et les concepts qui les sous-tendent. -

- -

Théorie des types

- Des types simples aux types dépendants, en passant par le polymorphisme - et les systèmes de preuves. -

- -

Langages et compilation

- Conception de langages, interpréteurs, compilateurs, - machines virtuelles et analyses statiques. -

- -

Développement logiciel

- Tests, qualité, architecture, outils... - Tout ce qui rend le développement logiciel plus fiable et agréable. -

Nos sujets de prédilection

- Quelques-uns des thèmes que nous abordons lors de nos rencontres. -

- Lambda-calcul - Haskell - OCaml - Typage - Preuves formelles - Property-based testing - Interpréteurs - Compilateurs - Elm - Rust - Prolog - Catégories - Effets algébriques - Logique - Récursion - Monades - Parsers -

Nos rencontres

- Retrouvez l'historique de nos rencontres depuis 2022. Conférences, ateliers - et discussions autour de la programmation fonctionnelle. -

- -

23 jun
2026

Il n'y a pas que Git dans la vie

Jujutsu et Radicle : repenser le contrôle de version avec Maxime Ménager et Arnaud Bailly.

- - -

21 mai
2026

Programmation compositionnelle et traversabilité

Expression Problem et foncteurs applicatifs avec Eric Torreborre et Clément Delafargue.

- - -

16 avr
2026

Atelier Lambda Nantes #4

OCaml pour le web : développement et déploiement d'un unikernel.

- - -

19 mar
2026

Lambda Nantes 10 : Plain Pattern Language

Grammaires formelles et génération procédurale avec Lorie den Os.

- - -

19 fév
2026

Lambda Nantes 9 : Pourquoi choisir des langages de niches ?

Retour d'expérience Scala, Haskell et Rust avec Clément Delafargue.

- - -

10 déc
2025

Workshop 3 : Créons un interprète Prolog

Atelier collaboratif d'introduction à la programmation logique.

- - -

13 nov
2025

Lambda Nantes 8 : Injection de dépendances fonctionnelle

Comparaison Unison vs OCaml avec Eric Torreborre et Xavier van de Woestyne.

- - -

09 oct
2025

Workshop 2bis : Interprétons le lambda-calcul typé

Ajout d'un système de types simples à un interpréteur de lambda-calcul.

- - -

27 mar
2025

LambdaNantes 7 : Logs, traçabilité et observabilité

OpenTelemetry et observabilité dans les systèmes distribués avec Lucas.

- - -

30 jan
2025

LambdaNantes 6 : Les tests dirigés par les propriétés

Atelier property-based testing avec Arnaud Bailly.

- - -

10 oct
2024

Workshop 1 : Interprétons le Lambda Calcul

Premier atelier : construire un interpréteur de lambda-calcul.

- - -

20 jun
2024

LambdaNantes 5 : Types, types et types (dépendants)

Type-Driven Development et types dépendants avec Arnaud Bailly et Didier Plaindoux.

- - -

23 oct
2023

LambdaNantes 4 : Monades Gratuites et Systèmes de build

Free Monads et build systems avec Nicolas Rinaudo et Xavier Van de Woestyne.

- - -

23 jun
2023

LambdaNantes 3 : Haskell à l'honneur

Biscuit tokens et Flora.pm avec Clément Delafargue et Théophile Choutri.

- - -

20 sep
2022

LambdaNantes 2 : GADTs et Free Monades

Réalité des Free Monads et méthodes gardées avec Arnaud Bailly et Xavier Van de Woestyne.

- - -

19 mai
2022

LambdaNantes 1 : Réutilisation de fonctions et abstraction d'effets

Première édition ! Monads, Functors et stream processing avec Nicolas Rinaudo et Romain Lecomte.

- -

Nous rejoindre

- Que vous soyez débutant ou expert, vous êtes les bienvenu(e)s ! - Retrouvez-nous sur Mobilizon pour connaître les prochains événements. -

- - - Mobilizon - - - - Radicle - - - - Bluesky - -