EDAF95/EDAN40 Lecture Material
The material below is tentative and may change without notice. It gets updated normally a couple of hours before or after the actual lecture takes place, so links to past lectures should be this year's while future ones are proably last year's. In particular, the lecture notes will be updated and the topics may be reorganised.
Week | Lectures | Jacek's 2020 videos | ||
1 |
18/3 19/3 20/3 | L1:
Introduction,
code L1.5: FP for Object Oriented L2: Language overview, code | L1_1.mp4,
L1_2.mp4 L1.5.mp4 L2.mp4 | |
2 |
25/3 27/3 | L3: The
standard prelude Types, typeclasses and data structures(SKL, 2024), Types, type classes, data structures (JM, 2023), code | L3.mp4 L4.mp4 | |
3 |
15/4 17/4 | L5:
Presentation of assignment 1, L6: Functors, Monads, code | L5.mp4 L6.mp4 | |
4 | 24/4 | L7: Parallel Computations, Concurrency | L7.mp4 | |
5 | 29/4 | L8: Evaluation, Presentation
of assignments F2 and N2, FibMemoized.hs, MCS.hs. | L8.mp4 A2.mp4 | |
6 |
6/5 8/5 | L9:
Monadic computations, parsing, A3N,
song.c,
obfuscated.hs L10: ??? | L9.mp4 | |
7 |
13/5 15/5 | XL1: Reasoning about
programs XL2: A bit of theory (categories, λ-calculus) | XL1.mp4 XL2.mp4 | EM @ FooCafé in Malmö |
7 |
20/5 22/5 | XL3:
Functional reactive programming, XL4: Final QandA | XL3.mp4 | |
30/5 | Exam |