functor
In category theory, a functor F is an operator on types. F is also considered to be a polymorphic operator on functions with the typeF : (a -> b) -> (F a -> F b).Functors are a generalisation of the function "map". The type operator in this case takes a type T and returns type "list of T". The map function takes a function and applies it to each element of a list.
Last updated: 1995-02-07
Nearby terms:
function key ♦ Function Point Analysis ♦ functor ♦ funky ♦ FUNLOG ♦ FunnelWeb
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
