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