From 966f532a61b34d187bfdeefed7617fbfb6f768ed Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 31 May 2026 16:57:32 +0200 Subject: site: move to own repo --- site/events/2024-06-20-types-dependants.html | 58 ---------------------------- 1 file changed, 58 deletions(-) delete mode 100644 site/events/2024-06-20-types-dependants.html (limited to 'site/events/2024-06-20-types-dependants.html') diff --git a/site/events/2024-06-20-types-dependants.html b/site/events/2024-06-20-types-dependants.html deleted file mode 100644 index b4bd183..0000000 --- a/site/events/2024-06-20-types-dependants.html +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - Types, types et types (dépendants) - Lambda Nantes - - - - - - - - - - -
-
- ← Toutes les rencontres -

LambdaNantes 5 : Types, types et types (dépendants)

-
- 📅 20 juin 2024 - 🕐 17h00 - 19h30 - 📍 PaloIT, 1 Rue Saint Julien, Nantes -
-
-
- -
-
-
-

Le XXIème sera typé ou ne sera pas

-

Arnaud Bailly explore le Type-Driven Development à travers des exemples en Elm, Haskell et Idris, couvrant les types algébriques, type classes, type families, etc. jusqu'aux frontières des types dépendants.

- -

Types dépendants : de la théorie à la pratique en mode interactif !

-

Didier Plaindoux passe de la théorie vers la pratique en examinant les définitions formelles. Les sujets incluent les types fonctions dépendants, les paires dépendantes, les types somme et l'égalité propositionnelle.

- - Voir sur Mobilizon → -
-
-
- - - - -- cgit v1.3.1