【问题标题】:What is Type Completeness Principle?什么是类型完整性原则?
【发布时间】:2016-11-29 01:32:53
【问题描述】:

Programming Language Design Concepts一书中,它说:

PYTHON 将过程与所有原始值和复合值一起计为一等值。因此 PYTHON 很好地符合 类型完整性原则。

我还是没听懂。

【问题讨论】:

标签: python types theory


【解决方案1】:

类型完整性原则:

任何操作都不应被任意限制在值的类型上 涉及。 - 瓦特

可以评估一流的值,作为参数传递 并用作复合值的组成部分。 函数式语言试图不区分类别, 而命令式语言通常处理函数(在 最好)作为二等值。

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

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

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

【讨论】:

    猜你喜欢
    • 2016-03-04
    • 1970-01-01
    • 2020-11-13
    • 2012-04-23
    • 2013-06-20
    • 1970-01-01
    • 2015-11-09
    • 2011-07-06
    相关资源
    最近更新 更多