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

Generic Programming Based on O'Caml Language

作　　者：李阳[1] 赵建平[1] 张德华[1] 程小林[1] 

机构地区：[1]中国卫星海上测控部

出　　处：《计算机系统应用》2015年第5期106-110,共5页Computer Systems & Applications

摘　　要：O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写.针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题,通过对O’Caml语言语法进行扩展引入类型标记1函数,然后运用类型结构化转换和类型映射机制,实现通用函数,从而达到在O’Caml语言中引入通用编程技术的目的.实例结果表明,在O’Caml语言中实现通用编程技术,有效提高了编程效率和程序的通用性.O＇Caml is a popular functional programming language with a lot of advanced features, such as： simple module, clear grammar and semantci, etc. Generic programming which programs through the abstracting of algorithm, data structure and all other of the software components can avoid the repeated work of coding with similar functions. In order to combine the generic programming and O＇Caml language which can improve the reuse of soft, we extend the grammar of O＇Caml language to implement type-indexed function, the structure transition and isomorphism of type and generic function. The experimental result shows that the implementation of generic programming in O＇Caml language has improved the efficiency and universality of programming.

关 键 词：通用编程技术 软件复用 O’Caml语言 语法扩展 

分 类 号：TP312.1[自动化与计算机技术—计算机软件与理论]