python-3.x - 一等函数的词汇表

Question

例如，当人们说 Python 具有第一类函数时，它听起来就像 Python 也具有第二类函数。但是，我还没有(有意地)在 Python 中遇到过第二类函数。当我们这么说时，它真的意味着“所有 Python 函数都是一流的吗？”或者是否有 Python 中第二类函数的示例？

Answer 1

首先，澄清术语。

术语“一等函数”意味着它在类型系统中是“一等”:也就是说，函数本身就是值。在函数不是第一类的语言中，函数被定义为值之间的关系，这使它们成为“第二类”。

换句话说，“第一类”函数意味着您可以将函数用作值，这意味着(除其他外)您可以将函数传递给函数。在 Java 7 之前，您不能在 Java 中执行此操作(反射不算数)，因此这是仅具有“二等”功能的编程语言的示例。为了“传递函数”，您必须定义一个函数可以存在的类型(作为方法)，然后传递该类型的实例。

因此，在 Python 中，所有 函数都是一流的，因为所有 函数都可以用作值。

现在，您可能会对另一个概念感到困惑。还有一个“高阶函数”的概念。高阶函数是将函数作为参数的函数。并非 Python 中的所有函数都是高阶函数，因为并非所有函数都将另一个函数作为参数。但即使不是高阶函数也是一流的。 (这是一个正方形/长方形的东西。)