迈向泛型名义类型面向对象编程的精确数学模型
编程语言
2016-11-01 v3
摘要
GNOOP作为泛型名义类型面向对象编程（generic nominally-typed OOP）的领域论模型的构建目前正在进行中。本扩展摘要提出了“名义区间（nominal intervals）”和“完全泛型化（full generication）”的概念，这些概念可能有助于将GNOOP构建为泛型名义类型OOP的精确数学模型。摘要还提出了少量相关的范畴论建议。所提出的概念和建议特别旨在使GNOOP能够对迄今为止难以分析的泛型OOP特性（如方差注解（例如Java通配符类型）和擦除泛型（例如Java类型擦除））提供精确而简单的视图。
引用
@article{arxiv.1610.05114,
title = {Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1610.05114},
year = {2016}
}
备注
10 pages