blob: 66ec5a8d4f4f0232e79995c95f15aeb88c0d19f0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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
|
