Une autre introduction aux 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 !

Speaker

Xavier Van de Woestyne

Xavier Van de Woestyne's profile
Software Engineer
The Funkyworkers

Who am I

I love programming languages (like OCaml, Elm, Elixir/Erlang, IO, Haskell and Scala), Types systems and Web programming.