函数程序设计 2009.03--2009.05

最新消息

• 20090531: 部分同学的成绩（低于60）没有被录入，原因是部分同学希望退选。请有关同学尽快办理有关手续。名单请参看公共邮箱。
• 20090427: 第四个作业已经公布，见“实验与作业”。
• 20090326: 第二个作业已经公布，见“实验与作业”。
• 20090317: 第一个作业已经公布，见“实验与作业”。
• 20090310: Microsoft has realised its functional programming language F#, see http://fsharp.net.
• 20090304: 课室更改到B205.
• 20090223: 关于教材，是否有同学愿意帮助联系统一印制教材？是否有同学愿意做课代表？请联系老师．

实验与作业

• 作业四 截止日期：20090514.
• 作业三 截止日期：20090428.
• 作业二 截止日期：20090407.
• 作业一 截止日期：20090324.

教学计划及课件

使用教材及主要参考资料

• Haskell--The Craft of Functional Programming, By Simon Thompson, 中译本
• Yet Another Haskell Tutorial, By Hal Daume III, 中译本 (基于Google自动翻译修改)
• A very short tutorial to Haskell.

其他资源

• All about Haskell: http://haskell.org
• 下载Hugs(13.7MB), 下载GHC(30.6MB)
• 测试工具: QuickCheck
• J. Hughes的论文: Why functional programming matters(中译本)
• 参看 John Hughes教授的主页
• J. Hughes提供的一些关于函数程序设计资料
• Erlang 是一个很成功的用于电信系统的函数语言，这里是语言设计者J. Armstrong的一个报告
• 关于Functional reactive animation and computer music参看Paul Hudak教授的主页
• For lambda calculus and PCF: Lambda, PCF
• 关于图形库 HGL
• About Turtle Graphics lab from "Advanced Functional Programming" at Chalmers University.
• Fudgets, A GUI library for Haskell.
• FFI, Foreign Function Interface

问题与答案

成绩评定