From 966f532a61b34d187bfdeefed7617fbfb6f768ed Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 31 May 2026 16:57:32 +0200 Subject: site: move to own repo --- site/events/2025-10-09-lambda-calcul-type.html | 58 -------------------------- 1 file changed, 58 deletions(-) delete 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 deleted file mode 100644 index 468043a..0000000 --- a/site/events/2025-10-09-lambda-calcul-type.html +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - 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