First-order Type Systems的意思|示意
美 / /
英 / /
一阶类型系统
First-order Type Systems的网络常见释义
一阶类型系统 4.7.3 一阶类型系统（First-order Type Systems） 大多数过程式语言中的类型系统被称为是一阶的(first order)。