面向对象编程中名义类型与结构类型概述
编程语言
2018-01-01 v3
摘要
NOOP 是名义类型 (nominally-typed) 面向对象编程 (OOP) 的数学模型，证明了主流名义类型 OO 编程语言中继承与子类型识别的同一性及其有效性。本报告概述了构建 OOP 数学模型（如 NOOP）相关的 OOP 主要概念。报告重点在于定义主流名义类型 OO 语言中的名义性 (nominality)、名义类型 (nominal typing) 和名义子类型 (nominal subtyping)，并将这三个概念与其在结构类型 (structurally-typed) OO 语言中的对应概念（即结构性 (structurality)、结构类型 (structural typing) 和结构子类型 (structural subtyping)）进行对比。附录通过一些简单的代码示例演示了这些概念及其他相关概念及其差异。关于 OOP 中名义类型与结构类型的详细技术比较将在其他出版物中呈现。
引用
@article{arxiv.1309.2348,
title = {An Overview of Nominal-Typing versus Structural-Typing in OOP},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1309.2348},
year = {2018}
}
备注
16 pages