计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2013年
7期
92-95,100
,共5页
泛型编程%函数式程序设计%语法扩展%泛型抽象
汎型編程%函數式程序設計%語法擴展%汎型抽象
범형편정%함수식정서설계%어법확전%범형추상
generic programming%functional programming%grammar extension%generic abstraction
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同.泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性.在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型.“泛型抽象”是指使用抽象类型作为类型参数的函数定义方法,实现了“泛型编程”类型参数的多样化.文中在O'Caml语言上进行“泛型抽象”的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了“泛型抽象”函数定义.
汎型編程旨在編寫一般化併可重複使用的算法,主要目的是提高程序的複用性,其效率與針對某特定數據類型而設計的算法相同.汎型編程可以使算法與數據結構完全分離,極大提高瞭程序的靈活性.在O'Caml語言中已經實現瞭類型標記函數和汎型函數,但汎型函數的類型參數隻能是基本類型或實例化類型,不能使用抽象類型.“汎型抽象”是指使用抽象類型作為類型參數的函數定義方法,實現瞭“汎型編程”類型參數的多樣化.文中在O'Caml語言上進行“汎型抽象”的研究,根據規則對O'Caml語言語法進行擴展,併在O'Caml語言中實現瞭“汎型抽象”函數定義.
범형편정지재편사일반화병가중복사용적산법,주요목적시제고정서적복용성,기효솔여침대모특정수거류형이설계적산법상동.범형편정가이사산법여수거결구완전분리,겁대제고료정서적령활성.재O'Caml어언중이경실현료류형표기함수화범형함수,단범형함수적류형삼수지능시기본류형혹실례화류형,불능사용추상류형.“범형추상”시지사용추상류형작위류형삼수적함수정의방법,실현료“범형편정”류형삼수적다양화.문중재O'Caml어언상진행“범형추상”적연구,근거규칙대O'Caml어언어법진행확전,병재O'Caml어언중실현료“범형추상”함수정의.
