基于O’Caml语言的通用编程技术

• 作者: 张德华 李阳 程小林 赵建平
• 来源期刊: 计算机系统应用
• 关键词: 通用编程技术 软件复用 O’Caml语言 语法扩展
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 软件技术?算法
• 页码范围: 106-110
• 页数: 5页
• 字数: 4427字
• 语种: 中文

摘要

O’Caml语言是一门优秀的函数式程序语言，具有计算模型简单、语法语义描述清晰等特点，而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写。针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题，通过对O’Caml语言语法进行扩展引入类型标记1函数，然后运用类型结构化转换和类型映射机制，实现通用函数，从而达到在O’Caml语言中引入通用编程技术的目的。实例结果表明，在O’Caml语言中实现通用编程技术，有效提高了编程效率和程序的通用性。