Some material connected to the Chalmers and Univ. of Gothenburg course.

Main course homepage:

• http://www.cse.chalmers.se/edu/course/afp/

This github repository aims at collecting all the relevant open source code associated with the AFP course. It is currently (Jan-Mar 2015) under construction with material being migrated from the main course home page step by step.

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. Among the labs, number 2 has a higher weight.

In March 2015 the final result is

• 68 did the lab (50 passed, 18 failed)
• 57 did the exam (27 passed, 30 failed) and 26 passed both the exam and the labs.

In August there will be a written re-exam and also a "re-lab" opportunity.

• L1: Course intro, Haskell recap, first DSL example
• L2: EDSLs and the Shapes example
• L3: Monads: how to build your own monad from scratch
• L4: Monads and Parsing: a case-study in program transformation
• L5: Parsing and Monad Transformers, part 1: how to build your monad from transformers.
• L6: Monad Transformers, part 2: more transformers and the extensible interpreter
• L7: Exercise session based on exams from earlier years
• L8: Specification, verification and testing (QuickCheck)
• L9: EDSL guest lecture by Emil Axelsson
• L10: More QuickCheck: Generating, shrinking, etc.
• L11: Type based modelling in Haskell, part 1: GADTs
• L12: Agda tutorial
• L13: Type based modelling in Haskell, part 2: Type families
• L14: Program derivation: Maximum segment sum (guest lecture by Cezar Ionescu)
• L15: Exercise session based on exams from earlier years
• L16: A choice of topics: in 2015 we did RWmonad + Newtype deriving + Cont monad.

TimeEdit schedule:

• Mid-course evaluation meeting: Fr 2015-02-20 15:15 - 16:00 in EDIT-5128
• Final evaluation meeting: Tu 2015-04-28 11:00-12:00 in "Fysikhuset, bottenplan"
• More course evaluation details