Questions marquées «applicative»



2
Le besoin de pur dans les applicatifs
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 purefonction par rapport à un mappage explicite …

3
Tous les conteneurs de taille fixe sont-ils des foncteurs monoïdaux solides et / ou vice versa?
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 motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.