Sto cercando le regole che implicano il passaggio delle funzioni dei modelli C ++ come argomenti. Questo è supportato da C ++ come mostrato da un esempio qui: #include <iostream> void add1(int &v) { v+=1; } void add2(int &v) { v+=2; } template <void (*T)(int &)> void doOperation() { int …
Mi sono imbattuto più volte nel termine "Functor" durante la lettura di vari articoli sulla programmazione funzionale, ma in genere gli autori presumono che il lettore comprenda già il termine. Guardarsi in giro sul web ha fornito descrizioni eccessivamente tecniche (vedi l' articolo di Wikipedia ) o descrizioni incredibilmente vaghe …
Mentre spiego a qualcuno cos'è una classe di tipo X, faccio fatica a trovare buoni esempi di strutture dati che siano esattamente X. Quindi, chiedo esempi per: Un costruttore di tipi che non è un Functor. Un costruttore di tipi che è un Functor, ma non Applicativo. Un costruttore di …
Chiuso. Questa domanda non soddisfa le linee guida Stack Overflow . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che sia in argomento per StackTranslate.it. Chiuso 4 anni fa . Migliora questa domanda F # deriva da OCaml, ma quali elementi principali mancano o …
map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Perché abbiamo tre diverse funzioni che fanno essenzialmente la stessa cosa?
La Applicativetypeclass rappresenta i lassisti monoidali che preservano la struttura monoidale cartesiana nella categoria delle funzioni tipizzate. In altre parole, visti gli isomorfismi canonici che testimoniano che (,)forma una struttura monoidale: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.