Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


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.


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

©2018 Martin Webb