In matematica, in particolare nella teoria delle categorie, un funtore è una mappatura tra categorie. I funtori sono stati inizialmente considerati nella topologia algebrica, dove gli oggetti algebrici sono associati a spazi topologici e le mappe tra questi oggetti algebrici sono associate a mappe continue tra spazi.
Come si definisce un funtore?
Nella programmazione funzionale, un funtore è un design pattern ispirato alla definizione della teoria delle categorie, che consente a un tipo generico di applicare una funzione all'interno senza modificare la struttura del tipo generico. Questa idea è codificata in Haskell usando la classe di tipo. class Functor f dove fmap:: (a -> b) -> f a -> f b.
Un funtore è un morfismo?
Identity functor: nella categoria C, scritto 1C o idC, mappa un oggetto su se stesso e un morfismo su se stesso. Il funtore identità è un endofunctor.
Cos'è un funtore in linguistica?
Parola funzionale in linguistica. Nella programmazione del computer: Functor (programmazione funzionale) Oggetto funzione utilizzato per passare i puntatori di funzione insieme alle informazioni sullo stato. per l'uso del termine nel linguaggio Prolog, vedere sintassi e semantica Prolog.
L'elenco è un functor?
Secondo gli sviluppatori Haskell, tutti i tipi come List, Map, Tree, ecc. sono l'istanza di Haskell Functor.
