什么是类型完整性原则？

Question

在编程语言设计概念一书中，它说：

  

PYTHON将过程计为一等值，以及所有原始值和复合值。因此PYTHON符合类型完整性原则。

我仍然没有得到它。

Answer 1

类型完整性原则：

  

在值的类型中不应任意限制操作   参与其中。    - 瓦特

可以评估第一类值，作为参数传递 并用作复合值的组成部分。 功能语言试图不进行类别区分， 命令式语言通常对待函数（at 最好的）作为二等价值。

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

在Java中，方法和类不是值，尽管可以 获取一个表示类的实现对象作为值，并在Java中 8，您可以将方法引用作为值传递。套餐不是 然而，价值观。

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