范畴论在面向对象编程建模中的新应用
编程语言
2018-01-01 v4 范畴论
摘要
本文概述并总结了范畴论在面向对象编程（OOP）研究中的四个新潜在应用。这些应用包括：（1）使用算子论对 Java 子类型进行建模；（2）在泛型名义类型 OOP 中使用米田引理和可表函子对泛型进行建模；（3）结合范畴展示和笛卡尔闭范畴对结构类型 OOP 进行建模；（4）使用伴随函子对 Java 类型擦除进行建模。
引用
@article{arxiv.1709.08056,
title = {Novel Uses of Category Theory in Modeling OOP},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1709.08056},
year = {2018}
}
备注
8 pages