man*_*ula 6 python theory types
在编程语言设计概念一书中,它说:
PYTHON将过程计为一等值,以及所有原始值和复合值.因此PYTHON符合类型完整性原则.
我仍然没有得到它.
类型完整性原则:
在涉及的价值类型中不应任意限制任何操作. - 瓦特
可以评估第一类值,作为参数传递并用作复合值的组件.功能语言试图不进行类别区分,而命令式语言通常将函数(最多)视为第二类值.
几乎所有编程语言都限制了可以作为值传递的实体类型(因此具有有意义的类型).在C或C++中,函数不是值,尽管指向函数的指针.类不是值.
在Java中,方法和类不是值,但是您可以获得将类表示为值的已知对象,并且在Java 8中,您可以将方法引用作为值传递.但是,包不是值.
在Haskell中,函数是第一类值,因此可以作为参数传递并作为值返回.由于Haskell是静态类型的,因此类型系统能够表达函数类型.
| 归档时间： |
|
| 查看次数： |
511 次 |
| 最近记录： |