diff options
Diffstat (limited to 'lambda-calcul/support/2025-10-09.md')
| -rw-r--r-- | lambda-calcul/support/2025-10-09.md | 30 |
1 files changed, 6 insertions, 24 deletions
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à ⇒ - - - -## Aujourd'hui - -* On passe à la vitesse supérieure en ajoutant des types simples au λ-calcul -* Cela donne le _λ-calcul simplement typé_ - -## Aujourd'hui - - +## Conclusion |