Théorie des types et isomorphisme de Curry-Howard : la profonde harmonie entre propositions = types et preuves = programmes
Tags
3 pages
Functional-Programming
La philosophie de Haskell et des langages purement fonctionnels : le monde des monades et ses abysses
Fondamentaux et avantages de la programmation fonctionnelle (fonctions pures, immuabilité et monades)
