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/events/2025-10-09-lambda-calcul-type.html | 58 ++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 site/events/2025-10-09-lambda-calcul-type.html (limited to 'site/events/2025-10-09-lambda-calcul-type.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 @@ + + + + + + Interprétons le lambda-calcul typé - Lambda Nantes + + + + + + + + + + +
+
+ ← Toutes les rencontres +

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

+
+ 📅 9 octobre 2025 + 🕐 17h00 - 19h00 + 📍 Epitech, 2 Place Louis Daubenton, Nantes +
+
+
+ +
+
+
+

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.

+ +

La session couvre des concepts importants de programmation : typage structurel, inférence de types, variables de types, et types somme/produit.

+ +

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.

+ + Voir sur Mobilizon → +
+
+
+ + + + -- cgit v1.3.1