preguntar acerca de functor

J'ai lu sur les monades dans la théorie des catégories. Une définition de monades utilise une paire de foncteurs adjoints. Une monade est définie par un aller-retour en utilisant ces foncteurs. Apparemment, les adjonctions sont très importantes dans …

void f(int){} typedef void (*f_ptr)(int); struct Functor{ void operator()(int){} }; struct X{ operator f_ptr(){ return f; } }; struct Y{ operator Functor(){ return Functor(); } }; int main(){ X x; Y y; x(5); // works ?! y(5); // doesn …

quelqu'un Peut m'expliquer en termes simples la différence entre les deux? Je ne comprends pas tout à fait la partie où les monades sont endofuncteurs par rapport à être juste des foncteurs. ... …

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. Regarder sur le web a fourni soit des descriptions exce …

Le type de souffle mon esprit: class Contravariant (f :: * -> *) where contramap :: (a -> b) -> f b -> f a Puis j'ai lu ce , mais contrairement au titre, je n'étais pas plus éclairé. quelqu'un peut-il s'il …

j'entends beaucoup parler des functors en C++. Quelqu'un peut-il me donner un aperçu de ce qu'ils sont et dans ce cas, ils seraient utiles? ... …