计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
28期
71-76
,共6页
泛型编程%类型抽象%函数式程序设计%语法扩展
汎型編程%類型抽象%函數式程序設計%語法擴展
범형편정%류형추상%함수식정서설계%어법확전
对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度.泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果.在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间.利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能.
對于汎型程序設計來說,類型的參數化多態是其理論框架,參數化多態引入瞭類型變量,使得類型參數化,支持類型上的抽象,從而可以大大提高軟件的複用程度.汎型編程思想已經在多種語言中得到運用,併已取得瞭不小的成果.在函數式語言上進行汎型的研究與應用,Haskell語言是函數式語言中較為經典的一種語言,它的計算模型簡單,語法清晰,易于編寫,易于維護,擁有很大的髮展空間.利用一些規則對Haskell語言的語法進行相關擴展,同時引入汎型的思想,研究與運用定義汎型函數的方法,在Haskell語言上實現瞭汎型功能.
대우범형정서설계래설,류형적삼수화다태시기이론광가,삼수화다태인입료류형변량,사득류형삼수화,지지류형상적추상,종이가이대대제고연건적복용정도.범형편정사상이경재다충어언중득도운용,병이취득료불소적성과.재함수식어언상진행범형적연구여응용,Haskell어언시함수식어언중교위경전적일충어언,타적계산모형간단,어법청석,역우편사,역우유호,옹유흔대적발전공간.이용일사규칙대Haskell어언적어법진행상관확전,동시인입범형적사상,연구여운용정의범형함수적방법,재Haskell어언상실현료범형공능.
