期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Haskell语言的惰性计算特性

On the Features of Lazy Evaluation of Haskell
下载PDF
导出
摘要 惰性计算特性是函数式程序设计语言Haskell的重要特征,在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题,但如何在实际编程中充分利用这一特性并不是一件容易的事情。该文详细介绍Haskell的惰性计算特性,阐述如何用这些特性来编写简洁优美的程序。 The features of lazy evaluation of functional programming language Haskell are very important. The authours have solved some difficult problems which are hard to deal with by other programming languages in developing software. But it is not easy to use these features in applications effectively. This paper introduces the features of lazy evaluation of Haskell in detail and explains how to design concise and beautiful programs by using them.
作者 庞建民 赵荣彩
机构地区 信息工程大学信息工程学院
出处 《信息工程大学学报》 2006年第1期63-66,共4页 Journal of Information Engineering University
基金 欧盟项目TYPES(typesproject29001)
关键词 惰性计算 函数式语言 HASKELL 高阶函数 列表内涵 lazy evaluation functional language Haskell higher-order function list comprehensions
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1庞建民,PaulCallaghan,罗朝晖.LFTOP： An LF-Based Approach to Domain-Specific Reasoning[J].Journal of Computer Science & Technology,2005,20(4):526-535. 被引量：1
  • 2Jianmin Pang,Paul Callaghan,Zhaohui Luo.An approach to verification of domain properties based on LF[C]//In:TYPES 2002 Workshop.Netherlands.2002.4http://www.cs.ru.nl/fnds/TYPES2002.
  • 3P C Callaghan,Z Luo,J Pang.Object languages in a type-theoretic meta-framework[C]//In Proceedings of the Workshop On Proof Transformation and Presentation and Proof Complexities (PTP'01),2001:23-36.
  • 4Callaghan P C.Functional Programming.Unpublished lecture notes[M].University of Durham,UK.2002.
  • 5庞建民,赵荣彩.Haskell语言的列表内涵特性及其应用[J].计算机工程与应用,2005,41(4):99-101. 被引量：6
  • 6庞建民,赵荣彩,王怀民.Haskell语言的高阶特性及其应用[J].计算机科学,2005,32(6):167-168. 被引量：8
  • 7Simon Thompson.Haskell:The Craft of Functional Programming[M].2nd Edition,Addison-Wesley,1999.
  • 8Richard Bird.Introduction to Functional Programming using Haskell[M].2nd edition,Prentice Hall Press,1998.
  • 9Simon Peyton Jones.Haskell 98 Language and Libraries[M].Cambridge University Press,2003.
  • 10Haskell community.Haskell 98 Language and Libraries-The Revised Report[R].http://www.haskell.org/definition,2002.12.

二级参考文献41

  • 1Jianmin Pang,Paul Callaghan,Zhaohui Luo.An approach to verification of domain properties based on LF[C].In:TYPES 2002 Workshop, Netherlands.
  • 2P C Callaghan,Z Luo,J Pang.Object languages in a type-theoretic meta-framework[C].In : Workshop of Proof Transformation and Presentation and Proof Complexities(PTP'01),Italia,2001.
  • 3P C Callaghan.Functional Programming.Unpublished lecture notes, UK, 2003.
  • 4Simon Thompson.Haskell:The Craft of Functional Programming[M].Second Edition ,Addison-Wesley, 1999.
  • 5Richard Bird.Introduction to Functional Programming using Haskell [M].2nd edition,Prentice Hall Press, 1998.
  • 6Simon Peyton Jones.Haskell 98 Language and Libraries[M].Cambfidge University Press,2003.
  • 7Structuring Depth First Search Algorithms in Haskell by David King and John Launchbury[C].In:Proc ACM Principles of Programming Languages,San Francisco, 1995.
  • 8Haskell 98 report.hap://www.haskell.org.
  • 9Pollack R. Lego WWW page. http://www.dcs.ed.ac.uk/home/lego.
  • 10Paulson L C. Isabelle: A generic theorem prover.Lecture Notes in Computer Science 828: xvii + 321, 1994.

共引文献9

信息工程大学学报
2006年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部