---
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)