4.7.3 一阶类型系统（First-order Type Systems） 大多数过程式语言中的类型系统被称为是一阶的(first order)。
基于12个网页-相关网页
一阶类型系统
A first-order type system
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动