课程目的

本课程是为学生介绍函数编程知道如何编程的人。学生主要来自大师Chalmers和哥德堡大学的课程。请注意，您不能将此课程作为已经包含TDA555（函数编程入门）的学位的一部分。内容太相似（尽管本课程的考试要求更高）。如果您使用TDA555或类似产品，请考虑TDA342高级函数编程

实用信息

• 教练：大卫·桑德斯
• 教学助理：丹·罗森,西蒙·胡贝尔、和安德斯·莫特伯格
• 课程代表：艾琳·洛博·瓦布埃纳,格雷戈·乌尔姆,古斯塔夫·莫特伯格、和戈西亚·莫拉夫斯卡
• 教材：没有课程教材。对于那些喜欢阅读教科书的人，我可以推荐以下内容：
  • Graham Hutton：Haskell编程.简洁、文笔优美Haskell的书非常适合本课程。
  • 好好学你一个哈斯克尔！在线和打印版本。很好的幽默教程。
  • 西蒙·汤普森：函数式编程的技巧一本更基础的书，速度较慢，但仍涵盖了课程中的大部分内容。我推荐第三版，其中包含了quickCheck（这是本课程中广泛使用的一种测试方法）。查尔默斯书店也有售。
  • 真实世界的Haskell阿尔索在线提供。这更高级，更面向实用的Haskell编程。如果你继续学习哈斯克尔的话，这是一本很好的书。这是高级函数编程课程的教材。

• 时间表
• 讨论组：[网址：http://goo.gl/Gx8Ora] 这是为了让学生们讨论这门课。各种各样的欢迎就课程内容提出问题（和答案）。由于明显的原因，您在实验室中遇到的具体问题不应在此发布。

• 不要用欺骗来破坏你的声誉！
  • 这是查尔默斯规则
  • 本次澄清合作与欺骗适用于本课程。

• 实验室作业提交说明：实验室使用电子方式提交消防系统.

课程内容

这些数据来自TDA451 2012。今年的内容将类似。我们将在进行过程中进行小更新。

第1周：

• Haskell简介（视图）（打印）; 元组和列表（视图）（打印）；（讲座中的Haskell代码）
  数据类型（视图）（打印） （哈斯克尔代码2011）.
• 练习1：Haskell入门
• 实验室作业1

第2周：

• 列表（视图） （打印） （哈斯克尔代码2011）
• 更多数据、列表、类（视图） （打印）
  （课堂测验）
• 高阶函数（视图）（打印） （2011年起代码：第02B讲）

• 练习2：递归和数据类型
• 实验作业2

第3周：

• 编程IO（视图）[（打印）FP讲座/03A打印.pdf（代码2012）[（代码2012年：Hangman.hs）FPLectures/Hangman/hs]（Hutton Ch.9；Thompson Ch.18）
• 数据测试生成器（视图）（打印）
  • 快速检查手册（有些过时！）
  • 测试。QuickCheck 2.4.0.1 API文档
  • 《真实世界哈斯克尔》测试章节
• 练习3：列表和列表主持人

第4周：

• 抽象数据类型（2011年未授课）（视图） （打印） （代码）SlowQ（代码）FastQ

• 递归数据类型（视图）（打印） （代码2012） （代码2012第2部分）

• 解析表达式（视图）（打印）（2011年ReadExpr.hs） （2011年RefactoredParser.hs） （2011年重构ReadExpr.hs）

• 练习4：IO、测试数据和属性
• 实验作业3

第5周：

• 解析表达式Monad样式（视图）（打印） （代码2010:ReadExprMonadic.hs） （代码2012:Parsing.hs） （代码2012:L05A.hs）

• 阅读：（Monadic语法解析教程文章）

• 懒惰（视图）（打印） （代码2011）

• 练习5：递归数据类型

第6周：

• 并行编程（2012年未给出）（视图）（打印） （代码2011）

第7周：

• 周一复习课：编码去年的考试（2012年）， 讲座中构建的解决方案
  • 2010年开始考试，
  • 2010年解决方案，
  • 考试中提供的一些标准功能列表

实验室分配

在下表中，您可以找到指向以下实验室作业的链接：提交。每个作业都有一个提交截止日期您必须提交解决方案。您的第一次提交预计是认真尝试完成实验室。如果您的提交没有通过（不正确或编码错误），则必须重新提交。你有直到最后期限最后期限是绝对的：是的提交解决方案的最后可能日期。如果您的解决方案没有通过，你这学期没有机会了。

请注意，截止日期是固定的，并且严格由实验室报告系统控制。因此，你必须在截止日期前提交。

实验室4是一个小型项目，将于12月11-12日提交给评分员。项目建议书（计划的简要说明）将于11月29日星期五提交。有关更多信息，请参阅实验室描述。

资源

请阅读以下链接如何获得帮助！

丹,西蒙、和安德斯在下面列出的开放办公时间内，你可以顺便来问一些有关实验作业的问题。

这些加入时间的有效期为第2周的星期一.

Haskell文档和其他资源

• 胡格尔：按类型搜索Haskell API！
• Haskell语法教程.
• Haskell层次库.
• 哈斯克尔前奏曲之旅（也可提供PDF格式).
• 考试中给出的一些标准函数列表

在您自己的机器上安装Haskell（GHC）

我们建议安装Haskell平台.报价：Haskell平台是开始编写Haskell.的最简单方法。它提供了你起床和跑步所需的一切。把它想象成“哈斯克尔：包括电池”。

更多阅读

• Haskell主页关于Haskell的一切值得了解（以及更多）。
• Haskell维基书.
• 哈斯克尔简介也许不那么温柔，但很简洁！
• Haskell作弊表。也是很长时间被称为备忘单，但它是对语言的有用总结。
• 微软关于Haskell的新Channel9讲座
• 超越平均水平这是一篇关于Lisp的有趣文章，Lisp可以说是第一种函数式编程语言。

旧考试（TDA 451）

• 2009年12月（包括解决方案）
• 2008年12月；解决方案

甚至更古老的考试。这些与当前的样式稍有不同，但可以找到一些有用的示例。

• 2003年10月,2004年1月,2004年8月,2004年10月
• 2005年1月,2006年10月,2007年1月

检查

本课程的考试分为两部分：每周作业以及课程结束时的笔试。要通过这门课必须通过所有家庭作业和考试。考试日期在学生门户上公布http://www.student.chalmers.se网站/.

• TDA452检查：2013年12月17日星期二08.30分，“M”（maskin salar）时长：4小时复审：2014年4月25日08.30
  一些你不应该真正需要的建议：

• 定期查看谷歌群组，
• 在上课前阅读有关主题的内容（那么讲座更有用）
• 在练习之前解决练习（然后是练习会话更有用）
• 尽早开始你的作业，因为意外的事情发生了
• 等。。。

  ---

  • 课程目的
  • 实用信息
  • 课程内容
    • 第1周：
    • 第2周：
    • 第3周：
    • 第4周：
    • 第5周：
    • 第6周：
    • 第7周：
  • 实验室分配
  • 资源
    • Haskell文档和其他资源
    • 在您自己的机器上安装Haskell（GHC）
    • 更多阅读
    • 旧考试（TDA 451）
  • 检查