Je suis tombé sur une belle idée de libre théorèmes dans un langage fonctionnel. Cependant, la seule ressource, j'ai pu trouver est Wadler l'article de "Théorèmes Gratuitement". C'est assez bon, mais certainement pas un tutoriel et dur pour moi de passer à travers (j'ai compris la moitié environ et il a fallu que je passe beaucoup de temps). Pouvez-vous me recommander un autre article ou un tutoriel qui est orientée vers un développeur de logiciels familier avec la programmation fonctionnelle à la place du noyau dur langage fonctionnel chercheur?
Merci.
