什麼是類型完整性原則？

Question

在書中語言程序設計概念，它說：

PYTHON計數程序作爲第一類值，所有的原始和複合值一起。因此PYTHON很好地符合類型完整性原則。

我仍然沒有得到它。

Answer 1

的類型完整性原理：

無操作應在類型參與值 來任意限制。 - 瓦特

一等值可以評價，作爲參數傳遞 並用作複合材料的值的組件。 功能語言試圖不作類別區分，而命令式語言通常將功能（最好爲 ）視爲第二類值。

幾乎所有的編程語言都會限制可能作爲值傳遞的實體類型 （因此具有有意義的 類型）。在C或C++中，函數不是值，但指向 函數是。類不是值。

在Java中，方法和類不是值，儘管您可以通過 獲取表示類的特定對象作爲值，而在Java中，您可以將方法引用作爲值傳遞。但是，軟件包不是 值。

在Haskell中，函數是第一類值，因此可以作爲參數傳遞並作爲值返回。由於Haskell是靜態類型的，所以類型系統能夠表達函數類型。