From 693698d6e74b0ae4f984b85d12bafc62dde9ad1c Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Fri, 29 May 2026 15:34:43 +0200 Subject: site: premiere version statique du site web --- site/index.html | 383 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 383 insertions(+) create mode 100644 site/index.html (limited to 'site/index.html') diff --git a/site/index.html b/site/index.html new file mode 100644 index 0000000..d3eb061 --- /dev/null +++ b/site/index.html @@ -0,0 +1,383 @@ + + + + + + Lambda Nantes - Programmation fonctionnelle et langages + + + + + + + + + + + + + +
+ + +
+ +

λ-Nantes

+

+ Un groupe de développeuses et développeurs de Nantes et sa région, + passionnés par la programmation fonctionnelle, les langages et la théorie des types. +

+ Nous rejoindre +
+
+ + + + + +
+
+

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. +

+
+ +
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 + +
+
+
+ + + + + + -- cgit v1.3.1