Les trucs vraiment théoriques, genre la théorie des catégories (foncteurs, monades, types algébriques)
Je me permets d'interrompre ce flil parce qu'on se fout un peu de notre gueule : dire que les types algébriques sont des trucs vraiment théoriques, c'est soit de l'ignorance crasse, soit de la mauvaise foi mielleuse. À ce compte-là, autant prétendre que les structures de données c'est compliqué, ou qu'on peut tout écrire en TeX.
Les types algébriques sont simples à la fois à comprendre et à implémenter, et permettent un saut expressif monstrueux comparé au coût de leur introduction. Je pleure toujours d'amères larmes en constatant qu'en 2015, aucun langage mainstream ne les propose (mais c'est en train de changer).
[^] # Re: adéquation
Posté par Perthmâd . En réponse au journal François Hollande visite 42, non mais allô quoi.... Évalué à 5.
Je me permets d'interrompre ce flil parce qu'on se fout un peu de notre gueule : dire que les types algébriques sont des trucs vraiment théoriques, c'est soit de l'ignorance crasse, soit de la mauvaise foi mielleuse. À ce compte-là, autant prétendre que les structures de données c'est compliqué, ou qu'on peut tout écrire en TeX.
Les types algébriques sont simples à la fois à comprendre et à implémenter, et permettent un saut expressif monstrueux comparé au coût de leur introduction. Je pleure toujours d'amères larmes en constatant qu'en 2015, aucun langage mainstream ne les propose (mais c'est en train de changer).