Les GADTs et Scala, c’est une très longue histoire de “je t’aime, moi non plus”, et leur implémentation maladroite dans les précédentes versions de Scala est probablement dûe à la mécompréhension de la notion d’égalité de types locale. Dans cette présentation, je vais tâcher de donner des exemples un peu différents des habituels, qui tirent intelligemment partit des GADTs pour décrire des invariants statiquement vérifiés ! C’est cool les GADTs et ça vaut le coup d’en parler !