You are here: irt.org | FOLDOC | 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 type
F : (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.
(1995-02-07)
Nearby terms: function inlining « function key « Function Point Analysis « functor » funky » FUNLOG » FunnelWeb
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL