J'entends souvent parler de foncteurs en C ++. Quelqu'un peut-il me donner un aperçu de ce qu'ils sont et dans quels cas ils seraient
Je cherche les règles impliquant le passage des fonctions de modèles C ++ comme arguments. Ceci est pris en charge par C ++ comme le montre un exemple ici: #include <iostream> void add1(int &v) { v+=1; } void add2(int &v) { v+=2; } template <void (*T)(int &)> void...
J'ai rencontré le terme «Functor» à quelques reprises en lisant divers articles sur la programmation fonctionnelle, mais les auteurs supposent généralement que le lecteur comprend déjà le terme. La recherche sur le Web a fourni des descriptions excessivement techniques (voir l'article Wikipedia )...
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...
Fermé. Cette question ne répond pas aux directives de Stack Overflow . Il n'accepte pas les réponses actuellement. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle soit pertinente pour Stack Overflow. Fermé il y a 4 ans . Améliorez cette question F # est dérivé...
map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Pourquoi avons-nous trois fonctions différentes qui font essentiellement la même
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...