Second-order Type Systems的意思|示意
美 / /
英 / /
二阶类型系统
Second-order Type Systems的网络常见释义
二阶类型系统 4.7.4 二阶类型系统(Second-order Type Systems) 许多现代语言具有类型参数和类型抽象结构。类型参数可 以在若干语言的模块系统中找到，其中类属模块、类或界面均 可以由二阶类型...