计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2012年
6期
89-92,96
,共5页
泛型编程%类型抽象%函数式程序语言%语法扩展
汎型編程%類型抽象%函數式程序語言%語法擴展
범형편정%류형추상%함수식정서어언%어법확전
泛型即通过参数化类型来实现在同一份代码上操作多种数据类型.泛型编程是一种编程范式,它利用“参数化类型”将类型抽象化,实现灵活的软件复用.泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果.文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护.文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能.
汎型即通過參數化類型來實現在同一份代碼上操作多種數據類型.汎型編程是一種編程範式,它利用“參數化類型”將類型抽象化,實現靈活的軟件複用.汎型編程思想已經在多種語言中得到運用,併已取得瞭不小的成果.文中旨在Haskell語言上進行汎型的研究與應用,Haskell語言是一門廣為流行的函數式語言,它的計算模型簡單,程序語法清晰,易于編寫,易于維護.文中利用一些規則對Haskell語言的語法進行擴展,同時引入汎型編程的思想來研究新的函數定義方法,最後在Haskell語言上實現汎型功能.
범형즉통과삼수화류형래실현재동일빈대마상조작다충수거류형.범형편정시일충편정범식,타이용“삼수화류형”장류형추상화,실현령활적연건복용.범형편정사상이경재다충어언중득도운용,병이취득료불소적성과.문중지재Haskell어언상진행범형적연구여응용,Haskell어언시일문엄위류행적함수식어언,타적계산모형간단,정서어법청석,역우편사,역우유호.문중이용일사규칙대Haskell어언적어법진행확전,동시인입범형편정적사상래연구신적함수정의방법,최후재Haskell어언상실현범형공능.
