类型系统

历史, 早期编程, 编程语言, 计算机科学, 软件开发

多态编程语言 (Polymorphic Programming Language)

PPL, 历史, 多态性, 类型系统, 编程语言

学术研究, 意大利, 类型理论, 编程语言, 计算机科学

卢卡·卡代利 (Luca Cardelli)

卢卡·卡代利, 类型系统, 编程语言理论, 计算机科学家, 面向对象编程

类型系统, 编程, 编程语言, 计算机科学, 软件工程

结构类型系统 (Structural Type System)

Go!, 类型检查, 类型系统, 结构类型, 编程语言

程序设计, 类型系统, 编程, 计算机科学, 软件工程

名义类型系统 (Nominal Type System)

Java, 名义类型, 类型系统, 编程语言, 软件开发

理论, 算法, 类型论, 编程语言, 计算机科学

主类型 (Principal Type)

Hindley-Milner, 主类型, 类型推导, 类型系统, 计算机