«上一篇/Previous Article|本期目录/Table of Contents|下一篇/Next Article»

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:

期数:

2012年06期

页码:

89-92

栏目:

智能、算法、系统工程

出版日期:

1900-01-01

文章信息/Info

Title:

Generic Extension Research Based on Haskell Language

文章编号:

1673-629X（2012）06-0089-04

作者:

李阳 于尚超 王朋

解放军理工大学指挥自动化学院计算机系

Author(s):

LI Yang;  YU Shang-chao;  WANG Peng

Dept. of Computer,Ins. of Command Automation,PLA Univ. of Techn. ＆Sci

关键词:

泛型编程; 类型抽象; 函数式程序语言; 语法扩展

Keywords:

generic programming;  type abstract;  functional programming language ;  grammar extension

分类号:

TP312

文献标志码:

A

摘要:

泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用＂参数化类型＂将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护。文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能

Abstract:

Generic can treat the types as arguments. Then many kinds of data-types can be processed by the same source code. Generic programming is a normal form of programming. It can make types abstract by a method called type parameterization. So realize the goal of software reuse agilely. For the moment, the idea of generic programming has been realized in many languages, which have got great achievement. It is intended to make some research in the field of Haskell language, and give an application as an example. Haskell is a popular language,and it is functional too. It has a lot of advantages, such as simple module, clarity syntax, etc. So the programmer can write and modify Haskell sentence easily. It shows the extension of the grammar of Haskell according to some rules, which also introduces the idea of generic programming, and gives some methods to define functions. Finally, the function of generic would be completed in Haskell

备注/Memo

备注/Memo:

李阳（1988-），男，江苏淮安人，硕士研究生，研究方向为形式化分析；导师：张兴元，教授，博士生导师，研究方向为软件验证

常用功能

更新日期/Last Update: 1900-01-01