Advanced Functional Programming

News

2011-11-15:		The information below is still about the 2010/2011 course instance.
2011-08-23:		AFP re-exam solutions posted

Staff / contact information

Patrik Jansson, Lecturer
Jean-Philippe Bernardy, Assistant
Contact us: patrikj + bernardy (write in English)
Office hours: Mondays 15-16, Wednesdays 11-12 in our offices (5468, 6447).
Discussion board: afp2011 (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").
Course "size": 7.5hec = 1/8 study year ~= 200h = 25h / week => time to get started;-)

Aim and context

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

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 17	:	First lecture, 13.15--15.00 in ED
Wed	Jan 26	:	Deadline, Assignment 1 - part 1
Wed	Feb 2	:	Deadline, Assignment 1 - part 2
Wed	Feb 9	:	Deadline, Assignment 2 - part 1
Wed	Feb 23	:	Deadline, Assignment 2 - part 2
Wed	Mar 2	:	Deadline, Assignment 3 - part 1
Wed	Mar 9	:	Deadline, Assignment 3 - part 2
Wed	Mar 16	:	Final Deadline, Assignments
Wed	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.

AFP student representatives 2011: Shayan Najd Javadipour, Tobias Raski and Gabriel Rizopulos.

Chalmers central instructions on course evaluation

Notes from the meeting(s).

Lectures

Most of the course weeks have two lectures:

	Mon		13.15 - 15.00		ED
	Thu		10.00 - 11.45		EF

TimeEdit schedule for AFP

Detailed information on the lectures will appear here (being migrated from 2010 version step by step).

Course material

  o Main
  o Schedule
  + Lectures
  + Assignments
  o Exam
  o Discussion board
  o Reporting system
  o Contact us
  o Haskell search
  o Old courses

Printable version

Last modified:
Dec 20 14:01, 2011

	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")

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