CAJ | 학술논문

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