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

Haskell语言的惰性计算特性及其应用 被引量：4

The Features of Lazy Evaluation of Haskell and their Applications
在线阅读 下载PDF
导出
摘要 Haskell的惰性计算特性使笔者在开发软件时解决了其它语言很难解决的一些问题,但如何在实际编程中充分利用这一特性,讨论的文章较少。该文详细介绍Haskell的惰性计算特性,并通过几个相关的简单例子,阐述如何利用惰性计算特性来编写简洁优美且功能强大的程序。 The features of lazy evaluation of Haskell give us a great power to solve some difficult problems which are hard to deal with by other programming languages.But there are few papers on discussing how to use these features in applications.This paper introduces the features of lazy evaluation of Haskell in detail and explains how to design concise and powerful programs through several small examples by using these features.
作者 庞建民 赵荣彩 王倩
机构地区 信息工程大学信息工程学院 英国DURHAM大学 信息工程大学测绘学院
出处 《计算机工程与应用》 CSCD 北大核心 2006年第10期97-99,122,共4页 Computer Engineering and Applications
基金 欧盟项目TYPES(编号:typesproject29001)
关键词 函数式语言 HASKELL 惰性计算 列表内涵 高阶函数 functional language, Haskell,lazy evaluation,list comprehensions, higher-order function
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1Jianmin Pang,Paul Callaghan,Zhaohui Luo.An approach to verification of domain properties based on LF[C].In:TYPES 2002 Workshop,Netherlands,2002
  • 2Jianmin Pang,Paul Callaghan,Zhaohui Luo.LFTOP:An LF-based approach to domain specific reasoning[J].Journal of Computer Science and Technology,2005
  • 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),Italia,2001:23～36
  • 4P C Callaghan.Functional Programming.Unpublished lecture notes,UK,2003
  • 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].Second 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 Librarie[M].Cambridge University Press,Hardback,2003
  • 10Haskell 98 report.http://www.haskell.org

二级参考文献16

  • 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.
  • 9Pang J,Callaghan P,Luo Z. An approach to verification of domain properties based on LF. TYPES 2002 Workshop. Netherlands
  • 10Callaghan P C,Luo Z,Pang J. Object languages in a type-theoretic meta-framework. Workshop of Proof Transformation and Presentation and Proof Complexities (PTP'01),Italia ,2001

共引文献9

同被引文献13

引证文献4

二级引证文献8

计算机工程与应用
2006年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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