• Latest News
• Purpose of the course
• Practical information
• Contents of the course
  • Week 1:
  • Week 2:
  • Week 3:
  • Week 4:
  • Week 5:
  • Week 6:
  • Week 7:
• Lab Assignments
• Resources
  • Haskell Documentation and Other Resources
  • Haskell Installation (GHC) on your own machine
  • More Reading
  • Old exams (TDA 451)
• Examination

Latest News

• 2012-01-17 Exams can be inspected at the student office If you decide you want to query your grade please do the following:
  • Do not remove your exam from the student office
  • fill in this form so I know which exams/questions to look at, and
  • come to my office (room 5474) between 12-12.30 on Wednesday 25 January

• 2011-12-15 Exam with solutions

• 2011-12-15 The exam has been graded and will be entered into the system sometime today. There were around 60 people taking the exam. 85% passed. Here is the breakdown:
  5: 22% 4: 37% 3: 25% U: 15%
  There are a few borderline cases so feel free to have a look at your exam once the results have been reported. There will be an opportunity to query the grading, most likely one lunchtime in Week 1, period 3. Please remember that if you want to discuss your grade you must not remove your exam from the office.
  If you *do* want to discuss your grade with me, please fill in the form at the link below so I know which exams to look at.
  http://goo.gl/JSzC3

• TDA452/451, DIT152/151 Examination: Tuesday 13 Dec 2011 at 14.00 in V (Väg och vatten) Probable rooms: VV23, VB (TDA452) and VV33 (DIT152/TDA451) - but come in good time. Length: 4 hours

• 2011-10-24 Please note that you cannot include this course as part of a degree which already contains TDA555 (Introduction to Functional Programming). The contents are too similar (although the exam for this course is more demanding). If you took TDA555 or similar please consider TDA342 Advanced Functional Programming

• 2011-10-17 Web page created. Handy shortcuts
  • This page: http://bit.ly/tda452-home
  • The course google group: http://bit.ly/tda452-11

• 2011-10-18 Important Info: Lectures: Mondays 13.15 in HC4 (up to and including 7 November, and in EE thereafter), and Thursdays 10.00 in HC3.

All participants of the course are expected to join the course google group.

Purpose of the course

The course is an introduction to Functional Programming for students who know how to program. The students come mainly from the masters program at Chalmers and the University of Göteborg.

Practical information

• Instructor: David Sands
• Teaching assistants: Krasimir Angelov and Simon Huber
• Text book: I am not recommending a specific textbook this year. For those who like to follow a textbook I can recommend the following:
  • Graham Hutton: Programming in Haskell. A compact and well-written Haskell book that is a good fit for this course.
  • Learn You a Haskell for Great Good! Online and printed versions. Very nice tutorial with humour.
  • Simon Thompson: The Craft of Functional programming. A more basic book with a slower pace but still covering most of the material in the course. I recommend the 3rd edition which has some coverage of quickCheck (a testing approach used extensively in the course). Also available at the Chalmers bookstore.
  • Real World Haskell Also available online. This is more advanced and more oriented towards practical Haskell programming. A good book to have on the shelf if you continue with Haskell. This is the course book for the Advanced Functional Programming course.

• Schedule
• Discussion group: [http://bit.ly/tda452-11] This is for discussion among the students about the course. All kinds of questions (and answers) on the content of the course are welcome. You own specific problems with the labs should not be posted here for obvious reasons.

• Do not ruin your reputation by cheating!
  • Here are the Chalmers rules
  • This clarification of coopertion vs cheating applies in this course.

• Lab assignment submisson instructions: The labs are submitted electronically using the Fire system (unconfirmed link). For instructions on how to use Fire, see the Student documentation for Fire.

Contents of the course

These are from TDA451 2010. Content will be similar for this year. Minor updates will be made as we go along.

Week 1:

(Minor updates to Intro slides only) (live code now updated 2011)

• Intro to Haskell (View)(Print) ; Tuples and Lists (View)(Print) ; (Haskell Code from Lecture 2011) Datatypes (View)(Print) (Haskell Code).
• Exercises 1: Getting started with Haskell
• Lab Assignment 1

Week 2:

Reordered lectures 2011: Higher-order functions now covered in week 2 instead of week 4.

• Lists (View) (Print) (Haskell Code 2011)
• More Data, Lists, Classes (View) (Print)
  (Quiz about Classes)
• Higher Order Functions (View)(Print) (Code from 2011: Lecture02B)

• Exercises 2: Recursion and Datatypes
• Lab Assignment 2

Week 3:

• Programming IO (View)(Print) (Code 2011) (Code 2011: Hangman.hs) (Hutton Ch. 9; Thompson Ch. 18)
• Data Test Generators (View)(Print) (Code 2011)
  • Quick Check Manual (somewhat out of date!)
  • Test.QuickCheck 2.4.0.1 API doc
  • Testing Chapter from "Real World Haskell"
• Exercises 3: Lists and List Comperhensions

Week 4:

• Abstract Datatypes (Lecture not given in 2011) (View) (Print) (Code) SlowQ(Code) FastQ

• Recursive Datatypes (View)(Print) (Code 2011) (Code 2011 part 2)

2011 Note: Slides have been updated to be consistent with the code and video.

• Parsing Expressions (View)(Print)(2011 ReadExpr.hs) (2011 RefactoredParser.hs) (2011 RefactoredReadExpr.hs)

• Exercises 4: IO, Test Data and Properties
• Lab Assignment 3

Week 5:

Slides update 2011

• Parsing Expressions Monad Style (View)(Print) (Code 2010: ReadExprMonadic.hs) (Code 2010: Parsing.hs) (Code 2010: MaybeMonad.hs)

• Reading: (Tutorial article on Monadic Parsing)

• Thursday 2011: Guest lecturer Krasimir Angelov: Programming GUIs (Tutorial on GTK2Hs) (Lab assignment 4) (Krasimir's Slides 2011) (Code to go with slides 2010)

• Exercises 5: Recursive Datatypes

Week 6:

updated slides 2011

• Laziness (View)(Print) (Code 2011)

• Parallel Programming (View)(Print) (Code 2011)

Week 7:

• Monday: Revision lecture. Exam from 2010, Solutions constructed in the lecture, List of Some Standard Functions

• Thursday: Guest lecture: Magnus Carlsson will talk about his time using Haskell at Galois Inc

Lab Assignments

In the table below you will find links to lab assignments which have to be handed in. For each assignment have a submission deadline at which you must submit your solutions. If your lab does not pass (incorrect or simply badly coded) then you must resubmit. You have until the final deadline. The final deadline is absolute: it is the last possible date to hand in your solutions. If your solutions are not passed you get no further chances this term.

Resources

Please read this link about how to get help!

Simon and Krasimir have open office hours listed below when you can drop in and ask questions about the lab assignments.

These drop-in times are valid from Thursday of week 2 (2011-11-03).

Haskell Documentation and Other Resources

• Hoogle: Search Haskell APIs by type!
• Tour of Haskell syntax.
• Haskell Hierarchical Libraries.
• A Tour of the Haskell Prelude (Also available in PDF format).

Haskell Installation (GHC) on your own machine

Ghc(i) can be downloaded from its home page.

More Reading

• Haskell Home Page. Everything about Haskell which is worth knowing (and more).
• The Haskell wikibook.
• Gentle Introduction to Haskell. Maybe not so gentle, but concise!
• The Haskell Cheat Sheet. Too long to be called a cheat sheet, but a useful summary of the language.
• Microsoft's new Channel9 lectures on Haskell
• Beating the averages. This is an entertaining article about Lisp, arguably the first functional programming language.

Old exams (TDA 451)

• Dec 2009 (includes solutions)
• Dec 2008; Solutions

Even older exams. These are a bit different from the current style, but there are some useful examples to be found.

• October 2003, January 2004, August 2004, October 2004
• January 2005, October 2006, January 2007

Examination

The examination of the course has two parts: the weekly assignments and a written exam in the end of the course. To pass the course it is necessary to pass all home assignments and the exam. The exam dates are announced on the student portal http://www.student.chalmers.se/ .

• TDA452 Examination : Tuesday 13 Dec 2011 at 14.00 in V (Väg och vatten), Length: 4 hours Re-exam: Wednesday 11 April 2012 at 14.00 in V.
  Some advice which you shouldn't really need:

• check the homepage regularly,
• read about the topic before the lectures (then the lecture is more useful)
• solve the exercises before the exercise sessions (then the exercise session is more useful)
• start with your assignments early since unexpected things happens
• etc...

• Latest News
• Purpose of the course
• Practical information
• Contents of the course
  • Week 1:
  • Week 2:
  • Week 3:
  • Week 4:
  • Week 5:
  • Week 6:
  • Week 7:
• Lab Assignments
• Resources
  • Haskell Documentation and Other Resources
  • Haskell Installation (GHC) on your own machine
  • More Reading
  • Old exams (TDA 451)
• Examination