diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 18:37:45 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 18:37:45 +0100 |
| commit | b2ee60e31ea7f4b48a84269c41e7db7ffaaa061f (patch) | |
| tree | 6abe2adc58a409d1cef97890d7e44575d8341b84 /lambda-calcul/support/2025-10-09.md | |
| parent | 300a61340ff1744ea3241c9744c80ce2215df74c (diff) | |
| download | lambda-nantes-b2ee60e31ea7f4b48a84269c41e7db7ffaaa061f.tar.gz | |
add slides for newcrafts
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 |