From 21befc8c8ab2e91632f5341b4fa9425cf3c815ff Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 13 Oct 2025 09:18:10 +0200 Subject: update from workshop 2bis --- lambda-calcul/support/2025-10-09.md | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 lambda-calcul/support/2025-10-09.md (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 new file mode 100644 index 0000000..66ec5a8 --- /dev/null +++ b/lambda-calcul/support/2025-10-09.md @@ -0,0 +1,35 @@ +--- +title: λ-Nantes Workshop 2bis +subtitle: Apprenons à aimer le λ-calcul simplement typé +date: 2025-10-09 +--- + +## Agenda + +* Introduction +* Action +* Conclusion + +# Introduction + +## Rappel de l'épisode précédent + +* 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) -- cgit v1.2.3