Les GADTs Par l’Exemple

Soyez les bienvenu·e·s! Cette session a le dessein de vous présenter un outil de programmation très puissant. Alors que la plupart des introductions sur le sujet commencent par une présentation de ses fondements théoriques d’une manière très formelle, nous avons choisi de vous le présenter à travers de courts exemples et des cas d’utilisation concrets. Cet atelier est composé de trois parties. La dernière présente trois des cas d’utilisation des plus utiles.
Voir plus →

Hello Word Post

Voir plus →