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 L4: 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: Monads (SKL, 2024), Functors, Monads, (JM, 2023), code | L5.mp4 L6.mp4 | |
4 | 24/4 | L7: Evaluation, Parallel Computations, Concurrency | L7a.mp4 L7b.mp4 | |
5 | 29/4 | L8: Presentation
of assignments F2 and N2, FibMemoized.hs, MCS.hs. | A2.mp4 | |
6 |
6/5 8/5 | L9:
Monadic computations, parsing, A3N,
song.c,
obfuscated.hs L10: Reasoning about programs | L9.mp4 L10.mp4 | |
7 |
13/5 15/5 | XL1: A bit of theory
(categories, λ-calculus) XL2: Final QandA, possibly some reactive programming | XL1.mp4 | EM @ FooCafé in Malmö |
8 |
20/5 22/5 |
cancelled! cancelled! | ||
30/5 | Exam |