Aim and context
Learning outcomes: (see also the lecture 14
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
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
Other recommended courses are
Logic in CS
Finite automata theory and formal languages
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 2015:
C. Yuting (CID=yutingc),
J. Pettersson (pjack),
N. Wärvik (warvik),
J. Nilsson Hansen (nhansen),
R. Soponpunth (ronakorn).
They can be reached by CID@student.chalmers.se.
Chalmers central instructions on course evaluation.
The final evaluation 2014 said "Excellent course with an overall score of 4.7. The course is considered hard yet adequate.". Suggested changes were minor.
Official schedule (TimeEdit)
. Most of the course weeks have two lectures (first week in EL43):
Detailed information on the lectures are here.