中文会议： 软件技术进展

会议日期： 2002-10-01

会议地点： 北京

主办单位： 中国计算机学会

作　　者： ;

机构地区： 华南理工大学计算机科学与工程学院

出　　处： 《2002全国软件与应用学术会议(NASAC)》

摘　　要： 多态类型是函数式语言的基本特性,它使得算法形式简洁,提高了代码的可重用性.在C++中增加多态类型定义,将大大提高C++的描述能力.本文研究了函数式语言Haskell的多态类型系统和C++类之间的关系,提出了data定义的代数数据类型及其相关的模式匹配函数到C++模板的转换算法,并用Haskell语言本身实现了这个自动转换,实践证明本文所采用的方法是有效和实用的方法.

关 键 词： 代数数据类型 模式匹配 函数语言 多态类型系统

分 类 号： [TP]

领　　域： [自动化与计算机技术]