En mathématiques, plus précisément en théorie des catégories, un foncteur est une application entre catégories. Les foncteurs ont d'abord été considérés en topologie algébrique, où les objets algébriques sont associés à des espaces topologiques, et les cartes entre ces objets algébriques sont associées à des cartes continues entre les espaces.
Comment définir un foncteur ?
En programmation fonctionnelle, un foncteur est un design pattern inspiré de la définition de la théorie des catégories, qui permet à un type générique d'appliquer une fonction à l'intérieur sans changer la structure du type générique. Cette idée est encodée en Haskell en utilisant la classe de type. class Functor f where fmap:: (a -> b) -> f a -> f b.
Un foncteur est-il un morphisme ?
Foncteur d'identité: dans la catégorie C, écrit 1C ou idC, associe un objet à lui-même et un morphisme à lui-même. Le foncteur identité est un endofunctor.
Qu'est-ce qu'un foncteur en linguistique ?
Mot de fonction en linguistique. En programmation informatique: Functor (programmation fonctionnelle) Objet fonction utilisé pour transmettre des pointeurs de fonction avec des informations d'état. pour l'utilisation du terme dans le langage Prolog, voir Syntaxe et sémantique de Prolog.
Liste est-elle un foncteur ?
Selon les développeurs de Haskell, tous les types tels que List, Map, Tree, etc. sont l'instance du Haskell Functor.
