期刊文献+

Haskell语言的高阶特性及其应用 被引量:8

The Higher-order Features of Haskell and their Applications
在线阅读 下载PDF
导出
摘要 Haskell语言的高阶特性使笔者在开发软件时受益匪浅,但很遗憾,目前国内同行应用这一语言的人非常少。本文介绍Haskell语言的高阶特性,并通过几个与树相关的例子,阐述如何利用Haskell语言的高阶特性来编写功能强大但却简短漂亮的程序。 We get a lot of benefits frotn the higher-order features of Haskell when we develop software. But it is a pity that there are just few colleagues who know this language in China. In this paper we introduce the higher-order features of Haskell and explain how to design powerful but concise programs by using these features through several examples about trees.
出处 《计算机科学》 CSCD 北大核心 2005年第6期167-168,198,共3页 Computer Science
基金 欧盟项目TYPE资助(项目编号types project 29001)
关键词 语言 高阶 应用 开发软件 程序 Functional language Higher-order function Haskell Polymorphism Lazy computation
  • 相关文献

参考文献8

  • 1Pang J,Callaghan P,Luo Z. An approach to verification of domain properties based on LF. TYPES 2002 Workshop. Netherlands
  • 2Callaghan 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
  • 3Callaghan P C. Functional Programming. Unpublished lecture notes. UK, 2003
  • 4Thompson S. Haskell: The Craft of Functional Programming,Second Edition. Addison-Wesley, 1999. ISBN 0-201-34275-8
  • 5Bird R. Introduction to Functional Programming using Haskell,2nd edition. Prentice Hall Press, 1998 ,ISBN: 0-13-484346-0
  • 6Jones S P. Haskell 98 Language and Libraries. Cambridge University Press ,2003 ,Hardback, ISBN: 0521826144
  • 7Structuring Depth First Search Algorithms in Haskell. In:King D,Launchbury J, eds. Proc. ACM Principles of Programming Languages ,San Francisco, 1995
  • 8Haskell 98 report. http:∥www. haskell. org

同被引文献81

引证文献8

二级引证文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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