functor

5calore

5risposta

Le funzioni di mappa (Seq.map, List.map ecc.) Hanno una post-condizione implicita che l'output ha lo stesso numero di elementi dell'input? Andando oltre, se avessimo un qualche tipo di funzione Tree.m

7calore

3risposta

Devo implementare Applicative e Functor per implementare una Monad

Sto tentando di implementare un'istanza Monad. Come esempio più semplice, assumere i seguenti: data Maybee a = Notheeng | Juust a instance Monad Maybee where return x = Juust x Notheeng >>

5calore

1risposta

Haskell - Funtori

sto cercando di capire come funzionano Funtori, così ho letto su di esso qui: http://learnyouahaskell.com/making-our-own-types-and-typeclasses#the-functor-typeclass ho una funzione che prende una mapp

11calore

2risposta

operazioni intesa sulle tipologie functor composte

Secondo diverse fonti, l'attuazione Haskell per la composizione di funtori è più o meno il seguente: import Data.Functor.Compose newtype Compose f g a = Compose { getCompose :: f (g a) } instance

10calore

1risposta

Contaner per diverse funzioni?

Sto provando ad implementare una classe contenitore per diverse funzioni in cui posso tenere i puntatori di funzione e usarla per richiamare quelle funzioni in seguito. Proverò a descrivere il mio pro

5calore

1risposta

Passando funtore dinamica per stl

Sono relativamente nuovo per C++ e questo è il mio primo post, in modo da essere gentile ;-) capisco come passare puntatori a funzione o oggetti funzione, come molte funzioni STL richiedono. Non mi è

5calore

1risposta

Come avvolgere sovraccarichi di funzioni multiple con un oggetto funzione TR1 generico?

Ho una funzione foo() che viene fornita in un contesto di libreria. La libreria definisce una manciata di sovraccarichi per questa funzione, come:. char foo(float x, int y); short foo(double x, char

16calore

1risposta

Che cos'è esattamente un functor indicizzato in Haskell e quali sono i suoi usi?

Quando studiavo i funtori in Haskell, ho trovato il tipo di funtore Functor.Indexed. Questo functor definisce un'operazione chiamata imap. Non ho capito la sua definizione e la firma imap: imap :: (a

11calore

2risposta

rendere i dati Tipo di Kind * -> * Questo non è un di Functor

Brent Yorgey Typeclassopedia dà il seguente esercizio: dare un esempio di un tipo di genere * -> * che non può essere fatto un istanza di Functor (senza utilizzando undefined). La prego di dirmi che c

10calore

3risposta

Istanza di Functor per ADT polimorfici generici in Haskell?

Quando si tratta di applicare la teoria delle categorie per la programmazione generica, Haskell fa un ottimo lavoro, ad esempio con librerie come recursion-schemes. Tuttavia una cosa di cui non sono s