在阅读各种关于函数式编程的文章时，我遇到过几次“Functor”这个术语，但作者通常认为读者已经理解了这个术语。在网络上你可以看到一些过于技术性的描述(参见维基百科的文章)，也可以看到一些非常模糊的描述(参见ocaml-tutorial网站上关于函数函数的部分)。
有没有人可以定义这个术语，解释它的用法，或者提供一个如何创建和使用函子的例子?
编辑:虽然我对这个术语背后的理论很感兴趣，但我对这个概念的实现和实际应用更感兴趣，而不是理论。
编辑2:看起来好像有一些交叉术语:我特别指的是函数式编程的函子，而不是c++的函数对象。
当前回答
这个问题的最佳答案在布伦特·约吉(Brent Yorgey)的《type eclassopedia》中找到。
这一期的单子阅读器包含了一个精确的定义，什么是一个函子以及许多其他概念的定义以及一个图表。(Monoid, Applicative, Monad和其他概念被解释和看到与函子的关系)。
http://haskell.org/sitewiki/images/8/85/TMR-Issue13.pdf
摘自Functor的Typeclassopedia: 一个简单的直觉是，一个Functor代表一个容器 类中的每个元素统一应用函数的能力 容器”
但实际上，所有类型的类目都是强烈推荐的，因为它们出奇地简单。在某种程度上，你可以看到这里的类型类与object中的设计模式是平行的，因为它们为给定的行为或能力提供了词汇表。
干杯
其他回答
在OCaml中，它是一个参数化模块。
如果您了解c++，可以将OCaml函子视为模板。c++只有类模板，函数子在模块规模上工作。
函数子的一个例子是Map.Make;module StringMap =映射。使(字符串);;构建一个使用字符串键映射的映射模块。
你不能通过多态性实现StringMap这样的东西;你需要对这些键做一些假设。String模块包含对完全有序字符串类型的操作(比较等)，函子将链接到String模块包含的操作。你可以用面向对象编程做一些类似的事情，但是你会有方法间接开销。
这是一篇关于函子的编程文章，后面更具体地介绍了它们是如何在编程语言中出现的。
函子的实际使用是在单子中，如果你想找的话，你可以找到很多关于单子的教程。
Functor与函数式编程没有特别的关系。它只是一个指向函数或某种对象的“指针”，可以像调用函数一样调用它。
不是为了与前面的理论或数学答案相矛盾，但Functor也是一个对象(在面向对象编程语言中)，它只有一个方法，并且可以有效地用作函数。
Java中的Runnable接口就是一个例子，它只有一个方法:run。
考虑这个例子，首先在Javascript中，它有一级函数:
[1, 2, 5, 10].map(function(x) { return x*x; });
输出: [1,4,25,100]
map方法接受一个函数并返回一个新数组，其中每个元素都是将该函数应用于原始数组中相同位置的值的结果。
要在Java中使用Functor做同样的事情，你首先需要定义一个接口，比如:
public interface IntMapFunction {
public int f(int x);
}
然后，如果你添加一个集合类，它有一个映射函数，你可以这样做:
myCollection.map(new IntMapFunction() { public int f(int x) { return x * x; } });
这使用了IntMapFunction的一个内嵌子类来创建一个Functor，它是前面JavaScript示例中的函数的OO等效。
使用函子可以在OO语言中应用函数式技术。当然，一些OO语言也直接支持函数，所以这不是必需的。
参考:http://en.wikipedia.org/wiki/Function_object
你回答了不少不错的问题。我将加入:
函子，在数学意义上，是代数上一种特殊的函数。它是将一个代数映射到另一个代数的最小函数。“极简性”用函子定律来表示。
有两种方式来看待这个问题。例如，列表是某些类型的函子。也就是说，给定类型为“a”的代数，您可以生成包含类型为“a”的列表的兼容代数。(例如:将一个元素带到包含它的单元素列表的映射:f(a) = [a])同样，兼容性的概念是由函子定律表示的。
另一方面,鉴于函子f / a型,(也就是说,f是应用函子的结果f的代数a型),从g和功能:- > b,我们可以计算一个新的函子f = (fmap g)映射f a到f b。简而言之,fmap是f的一部分映射“函子零件”“函子零件”,和g函数的一部分,“代数”映射到“代数部分”。它接受一个函数，一个函子，一旦完成，它也是一个函子。
看起来不同的语言使用不同的函子概念，但事实并非如此。它们只是在不同的代数上使用函子。OCamls有一个模块代数，这个代数上的函子允许您以一种“兼容”的方式将新声明附加到模块。
Haskell函子不是类型类。它是一个具有满足类型类的自由变量的数据类型。如果您愿意深入挖掘数据类型的精髓(没有自由变量)，您可以通过底层代数将数据类型重新解释为函子。例如:
数据F = F Int
是整型类的同构。F，作为一个值构造函数，是一个将Int映射到F Int的函数，一个等价的代数。它是一个函子。另一方面，这里的fmap不是免费的。这就是模式匹配的作用。
函子很适合以一种代数相容的方式将事物“附加”到代数元素上。
