From 693698d6e74b0ae4f984b85d12bafc62dde9ad1c Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Fri, 29 May 2026 15:34:43 +0200 Subject: site: premiere version statique du site web --- site/events/2024-06-20-types-dependants.html | 58 ++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create 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 new file mode 100644 index 0000000..b4bd183 --- /dev/null +++ b/site/events/2024-06-20-types-dependants.html @@ -0,0 +1,58 @@ + + + + + + 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