Function object: Difference between revisions

Revision as of 12:21, 4 January 2022

Revision as of 18:53, 27 January 2022

Line 708:

The [[ML (programming language)|ML]] family of [[functional programming]] languages uses the term ''functor'' to represent a [[function (mathematics)|mapping]] from modules to modules, or from types to types and is a technique for reusing code. Functors used in this manner are analogous to the original mathematical meaning of [[functor]] in [[category theory]], or to the use of generic programming in C++, Java or [[Ada (programming language)|Ada]].

In [[Haskell (programming language)|Haskell]], the term ''[[Functor (functional programming)|functor]]'' is also used infor a concept related to the samemeaning senseof as''functor'' in category theory.

In [[Prolog]] and related languages, ''functor'' is a synonym for [[function symbol]].