摘要
随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这些问题提供了优美独特的框架。文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等。Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型。
As the size and complexity of software systems is growing dramatically, the crisis of software complexity in the world of computer science increases. How can we deal with the size and complexity of modern computer programs？ How can we reduce the time and cost of program development？ How can we increase our confidence that the finished programs work correctly？ Functional languages provide a particularly elegant framework to address these issues. In this paper, we introduce a purely functional programming language Haskell, including its development history, the features and structures of Haskell programs. Haskell is a modern, standard, lazy, purely functional programming language. It possesses an expressive syntax and a rich built-in data types.
出处
《南京邮电大学学报（自然科学版）》
EI
2007年第4期13-18,23,共7页
Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition
基金
国家自然科学基金(60503020)和江苏省高校自然科学基金(05KJD520151)资助项目
关键词
HASKELL
函数式语言
多态类型
高价函数
惰性计算
Haskell
Functional programming languages
Polymorphic typing
Higher-order functions
Lazy evaluation
作者简介
张迎周（1978-），男，安徽庐江人。南京邮电大学计算机学院讲师，博士。2005年在东南大学计算机软件与理论专业获工学博士学位。主要研究方向：形式化方法、软件理论、程序分析等。通讯作者：张迎周 电话：（025）83492455 E-mail：zhangyz@njupt．edu．cn
张卫丰（1975-），男，江苏启东人。南京邮电大学计算机学院副教授，博士。2002年在东南大学计算机应用专业获博士学位。主要研究方向：程序设计语言、软件体系结构、网络语言等。
