Nostalgie, j'ai été tenté par la question d'Alp et j'ai mis les documents relatifs à ce que j'avais écrit pour mon TIPE en ligne. Dans l'ordre chronologique d'écriture :
- un petit pavé en cours d'exploration :
http://bluestorm.info/textes/article...des/draft2.pdf
- les slides d'une présentation :
http://bluestorm.info/textes/article...des/slides.pdf
- le rapport final :
http://bluestorm.info/textes/articles-monades/rendu.pdf
Le petit pavé est le plus verbeux, et il explique de manière je pense assez accessible les concepts de catégorie, foncteur et transformation naturelle ainsi qu'une de leur transposition dans un langage fonctionnel. La présentation des monades qui suit est assez détaillée mais les exemples d'applications informatiques ne sont pas très convaincants. C'est mieux dans les autres documents, qui par contre souffrent de contraintes de taille.
Ce sont des documents sans prétentions, à prendre avec des pincettes (je ne suis évidemment pas un connaisseur du sujet), mais si ça peut intéresser quelqu'un, j'accueille avec intérêt les remarques/critiques.
Peut-être que si j'ai le temps un jour, j'essaierai de reprendre tout ça pour en faire un seul document plus cohérent.
Partager