Hole-driven Haskell

[Bastien Louërat]

Pour ceux qui n'auraient pas vu passer, "hole-driven haskell" (« Haskell piloté par les trous » ?) où l'auteur utilise le typesystem au fur et à mesure de son développement pour trouver les bonnes combinations. Ça rappelle étrangement ce qu'on a vu avec Coq…

http://matthew.brecknell.net/posts/2013/02/26/hole-driven-haskell/