Haskell:一种现代纯函数式语言  

Haskell: A Modern Purely Functional Programming Language

作　　者：张迎周[1] 张卫丰[1] 

机构地区：[1]南京邮电大学计算机学院,江苏南京210003

出　　处：《南京邮电大学学报（自然科学版）》2007年第4期13-18,23,共7页Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition

基　　金：国家自然科学基金(60503020)和江苏省高校自然科学基金(05KJD520151)资助项目

摘　　要：随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这些问题提供了优美独特的框架。文中主要介绍一种纯的函数式语言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.

关 键 词：HASKELL 函数式语言 多态类型 高价函数 惰性计算 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]