python - 什么是类型完整性原则？

Question

Programming Language Design Concepts 一书中说:

PYTHON counts procedures as first-class values, along with all primitive and composite values. Thus PYTHON conforms well to the Type Completeness Principle.

还是没看懂

Answer 1

类型完整性原则:

No operation should be arbitrarily restricted in the types of values involved. - Watt

一等值可以被评估，作为参数传递并用作复合值的组成部分。函数式语言试图不做任何类(Class)区分，而命令式语言通常处理函数(在最佳)作为二等值(value)。

几乎所有的编程语言都限制了实体的种类可以作为值传递(因此具有有意义的类型)。在 C 或 C++ 中，函数不是值，但指向功能是。类不是值。

在 Java 中，方法和类不是值，尽管您可以获取表示类作为值的具体化对象，在 Java 中8、可以将方法引用作为值传递。包裹不是然而，值(value)观。

在 Haskell 中，函数是一等值，因此可以作为参数并作为值返回。由于 Haskell 是静态类型的，类型系统能够表达函数类型。