Apla与程序设计语言泛型特性比较研究

作者：左正康; 刘志豪; 黄箐; 游珍; 王昌晶^*; 石海鹤; 胡启敏; 陶小明

来源：江西师范大学学报(自然科学版), 2019, 43(05): 454-461.

DOI：10.16357/j.cnki.issn1000-5862.2019.05.03

• 泛型程序设计
• 动态语义约束
• 抽象程序设计语言

面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持静态语法约束,但受语言其他方面的限制,抽象层次较低,定义的泛型概念难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离.该文综合比较了Java、C#、C++、Concept 4种支持泛型程序设计的语言,基于抽象程序设计语言Apla提出了离完整实现GP更近一步的泛型机制,通过同典型泛型实例对各种程序设计语言泛型特性进行分析,验证抽象泛型程序设计语言Apla中该泛型机制的优越性.

• 单位
  江西省高性能计算重点实验室; 江西师范大学