Talk's page 👉 scala.io/talks/intro-to-gadts
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 !
---
Scala.IO: scala.io
Director: Yann BRESSON
Camera Operator: Margot MOYON
Technical Support: Smartmedias - www.smartmedias.fr
Негізгі бет Ғылым және технология Une autre intro aux GADTs by Xavier VAN DE WOESTYNE
Пікірлер: 1