From b2ee60e31ea7f4b48a84269c41e7db7ffaaa061f Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 18:37:45 +0100 Subject: add slides for newcrafts --- lambda-calcul/support/2025-10-09.md | 30 ++++++------------------------ 1 file changed, 6 insertions(+), 24 deletions(-) (limited to 'lambda-calcul/support/2025-10-09.md') diff --git a/lambda-calcul/support/2025-10-09.md b/lambda-calcul/support/2025-10-09.md index 66ec5a8..2f14e67 100644 --- a/lambda-calcul/support/2025-10-09.md +++ b/lambda-calcul/support/2025-10-09.md @@ -1,7 +1,7 @@ --- -title: λ-Nantes Workshop 2bis -subtitle: Apprenons à aimer le λ-calcul simplement typé -date: 2025-10-09 +title: How I learnt to love typed λ-calculus +subtitle: An experimental workshop to explore the computational foundation of the universe, and have fun +date: 2025-11-06 --- ## Agenda @@ -10,26 +10,8 @@ date: 2025-10-09 * Action * Conclusion -# Introduction +## Introduction -## Rappel de l'épisode précédent +## Action -* On a codé un λ-calcul non typé en Rust, Elixir, Clojure et Java -* En jouant contre un serveur nous envoyant des expressions à évaluer -* On s'est bien amusé -* On veut aller plus loin - -## Rappel de l'épisode précédent - -Pour accéder au repository, c'est par là ⇒ - -![Lambda-Nantes code](qrcode.jpg) - -## Aujourd'hui - -* On passe à la vitesse supérieure en ajoutant des types simples au λ-calcul -* Cela donne le _λ-calcul simplement typé_ - -## Aujourd'hui - -![λ-calcul simplement typé](typing-rules.png) +## Conclusion -- cgit v1.3.1