Advanced Functional Programming (7.5 hec), Spring 2012 (TDA342 / DIT260)

News

2012-11-20:		AFP 2013 presentation to potential students
2012-08-28:		August 2012 re-exam + solutions posted.

Staff / contact information

• Patrik Jansson, Lecturer and Examiner, patrik.jansson@chalmers dot se
• Jonas Duregård, Teaching Assistant, jonas.duregard@chalmers dot se
• Contact: email to Patrik + Jonas (write in English), Patrik: 031-7725415, 0763-694349
• NOTE: The rest of the information has not yet been updated from the 2012 to the 2013 course instance.
• Office hours: Patrik: Mon. 15-16, Thu. 13-14 (not all weeks). Jonas: Tue. 13-15, Thu. 13-15
• Discussion board: afp2012 (at Google Groups)
• Homepage: http://www.cse.chalmers.se/edu/course/afp/

Overview

• AFP is an elective, advanced MSc level university course. It is run by the FP group at the CSE department (Chalmers and GU).
• Contains three programming assignments, done in pairs
• and a written exam (you may bring a "summary sheet"). Official examination details (time, place, etc.).
• Course "size": 7.5hec = 1/8 study year ~= 200h = 25h / week => time to get started;-)
• Grading: The final grade of the course is a based on a weighted average of the lab grade and the exam grade (provided that both are at least "Pass"). The weights are the number of credits: 4.5cr (60%) for the labs and 3cr (40%) for the exam. The three lab assignments are weighted roughly 3 to 5 to 4 - thus more weight for the second assignment.

Aim and context

Learning outcomes: (see also the lecture 12 overview from 2012)

• DSL: design embedded domain specific languages
  • DSL.Concepts: (abstract) syntax, semantics, ...
  • DSL.Implement: implement EDSLs in Haskell (as combinator libraries)
• Types: read, understand and extend Haskell programs which use advanced type system features
  • Types.Class: type classes, newtypes, deriving, ...
  • Types.GADT: (generalised) algebraic datatypes & type families
  • Types.HOT: functors, monads and monad transformers
• Spec: use specification based development techniques
  • Spec.Test: formulate and test properties about the program
  • Spec.Prove: reason about correctness of functional programs
  • Spec.Trans: transform programs on the basis of reasoning
• Expl: explain and discuss the above topics

Context

The AFP course requires a BSc in Computer Science or equivalent, mathematical maturity, a basic course on Functional Programming (like our version) and a course on Programming Lanuages (like ProgLangTech or ProgPara). Other recommended courses are Logic in CS, Algorithms and Finite automata theory and formal languages.

Important Dates

	Mon	Jan 21	:	First lecture, 13.15-15.00 in EL43
	Wed	Jan 30	:	Deadline, Assignment 1 - part 1
	Wed	Feb 6	:	Deadline, Assignment 1 - part 2
	Wed	Feb 13	:	Deadline, Assignment 2 - part 1
	Wed	Feb 27	:	Deadline, Assignment 2 - part 2
	Wed	Mar 5	:	Deadline, Assignment 3 - part 1
	Sun	Mar 17	:	Deadline, Assignment 3 - part 2
	Wed	Mar 20	:	Final Deadline, Assignments
	Sat	Mar 16	:	Exam, afternoon, Johanneberg

Course Evaluation

For the purpose of course evaluation each course has student representatives. Their role includes giving the teachers feedback on the course. Notes from the meeting(s).

AFP student representatives 2012: J Kallus, N Tall, L Tidstam, P Reimers, N Ulvinge.

Chalmers central instructions on course evaluation

Lectures

Most of the course weeks have two lectures:

	Mon		13.15 - 15.00		EL43
	Thu		10.00 - 11.45		EL43

TimeEdit schedule for AFP

Detailed information on the lectures are here.

Course material

	The course book (nick-named "The World" or "RWH" below) is "Real World Haskell" by Bryan O'Sullivan, Don Stewart, and John Goerzen. Some related papers to read and other material will be provided with the lectures.
The following books are all good but presented in order of decreasing relevance for the AFP course.
"The Haskell School of Expression" by Paul Hudak ("The School") "The Fun of Programming" edited by Jeremy Gibbons and Oege de Moor ("The Fun") "Programming in Haskell" by Graham Hutton ("The Prog.") "Haskell -- The Craft of Functional Programming" by Simon Thompson ("The Craft")