Tout en expliquant à quelqu'un ce qu'est une classe de type X, j'ai du mal à trouver de bons exemples de structures de données qui sont exactement X. Je demande donc des exemples pour: Un constructeur de type qui n'est pas un Functor. Un constructeur de type qui est un Functor, mais pas...
Les applicatifs composent, les monades non. Que signifie la déclaration ci-dessus? Et quand l'un est-il préférable à
J'apprends les candidats de Haskell. Il me semble (je me trompe probablement) que la purefonction n'est pas vraiment nécessaire, par exemple: pure (+) <*> [1,2,3] <*> [3,4,5] peut être écrit comme (+) <$> [1,2,3] <*> [3,4,5] Quelqu'un peut-il expliquer les avantages de la...
La Applicativeclasse de types représente des foncteurs monoïdes laxistes qui préservent la structure monoïde cartésienne sur la catégorie des fonctions typées. En d'autres termes, étant donné les isomorphismes canoniques témoins qui (,)forment une structure monoïdale: -- Implementations left to the...