| Haskell:一种现代纯函数式语言 |
| |
| 引用本文： | 张迎周,张卫丰.Haskell:一种现代纯函数式语言[J].南京邮电大学学报(自然科学版),2007,27(4):13-18,23. |
| |
| 作者姓名： | 张迎周 张卫丰 |
| |
| 作者单位： | 南京邮电大学,计算机学院,江苏,南京,210003 |
| |
| 基金项目： | 国家自然科学基金
,
江苏省高校自然科学基金 |
| |
| 摘 要： | 随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度.函数式程序设计语言为解决这些问题提供了优美独特的框架.文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等.Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型.
|
| 关 键 词： | Haskell 函数式语言 多态类型 高价函数 惰性计算 Haskell 现代 纯函数式语言 Programming Language Functional 数据类型 表达力 标准 程序结构 历史 发展 框架 问题 函数式程序设计语言 可信度 工作 时间 程序开发 复杂度 大小 |
| 文章编号： | 1673-5439（2007）04-0013-06 |
| 收稿时间： | 2006-09-13 |
| 修稿时间： | 2006-09-13 |
Haskell: A Modern Purely Functional Programming Language |
| |
| ZHANG Ying-zhou,ZHANG Wei-feng.Haskell: A Modern Purely Functional Programming Language[J].Journal of Nanjing University of Posts and Telecommunications,2007,27(4):13-18,23. |
| |
| Authors: | ZHANG Ying-zhou ZHANG Wei-feng |
| |
| Institution: | College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210003, China |
| |
| Abstract: | |
| |
| Keywords: | Haskell Functional programming languages Polymorphic typing Higher-order functions Lazy evaluation |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
