Arnaud Bailly examine pourquoi les free monads et les algèbres d'effets, bien qu'élégantes théoriquement, ont échoué à plusieurs reprises dans le développement professionnel en Haskell, et questionne leur pertinence pour les projets logiciels à longue durée de vie.
Xavier Van de Woestyne démontre comment encoder des méthodes gardées en OCaml en utilisant les GADTs et les témoins d'égalité de types, implémentant une fonctionnalité OOP absente dans la plupart des langages statiquement typés.
Voir sur Mobilizon →