-
题名Haskell语言的惰性计算特性及其应用
被引量：4
- 1
-
-
作者
庞建民
赵荣彩
王倩
-
机构
信息工程大学信息工程学院
英国DURHAM大学
信息工程大学测绘学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第10期97-99,122,共4页
-
基金
欧盟项目TYPES(编号:typesproject29001)
-
文摘
Haskell的惰性计算特性使笔者在开发软件时解决了其它语言很难解决的一些问题,但如何在实际编程中充分利用这一特性,讨论的文章较少。该文详细介绍Haskell的惰性计算特性,并通过几个相关的简单例子,阐述如何利用惰性计算特性来编写简洁优美且功能强大的程序。
-
关键词
函数式语言
HASKELL
惰性计算
列表内涵
高阶函数
-
Keywords
functional language, Haskell,lazy evaluation,list comprehensions, higher-order function
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名FCC中的惰性计算
- 2
-
-
作者
沈宁川
-
机构
电子科技大学计算机系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1992年第9期27-30,7,共5页
-
基金
国家高技术研究发展863计划资助
-
文摘
由于FFP语言中存在着非严格(non-strict)函数,所以用紧迫计算(eager evaluation)方式计算非严格函数,不仅降低了执行效率,而且还可能导致计算失败.为此,本文又提出了几个在FCC中实现对某些非严格函数进行惰性计算的归约规则,并在Micro-VAX3500上比较了用惰性计算的方式和用紧迫计算的方式来计算一个非严格函数的执行效率.
-
关键词
惰性计算
FCC
-
Keywords
non-strict function
eager evaluation
lazy evaluation
reduction rules
execution efficiency
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名Haskell:一种现代纯函数式语言
被引量：7
- 3
-
-
作者
张迎周
张卫丰
-
机构
南京邮电大学计算机学院
-
出处
《南京邮电大学学报（自然科学版）》
EI
2007年第4期13-18,23,共7页
-
基金
国家自然科学基金(60503020)和江苏省高校自然科学基金(05KJD520151)资助项目
-
文摘
随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这些问题提供了优美独特的框架。文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等。Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型。
-
关键词
HASKELL
函数式语言
多态类型
高价函数
惰性计算
-
Keywords
Haskell
Functional programming languages
Polymorphic typing
Higher-order functions
Lazy evaluation
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
