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 |
20/3 21/3 22/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 |
27/3 29/3 | L3: The
standard prelude L4: Types, type classes, data structures, code, | L3.mp4 L4.mp4 | |
3 |
3/4 5/4 | L5:
Presentation of assignment 1, L6: Functors, Monads, code | L5.mp4 L6.mp4 | |
4 |
cancelled | |||
5 | 3/5 | L7: Evaluation, Presentation
of assignments F2 and N2, FibMemoized.hs, MCS.hs. | L7.mp4 | |
6 |
8/5 10/5 | L8:
Monadic computations, parsing,
song.c,
obfuscated.hs L9: Parallel Computations, Concurrency | L8.mp4 L9.mp4 | |
7 |
15/5 17/5 | XL1: Reasoning about
programs XL2: A bit of theory (categories, λ-calculus) | XL1.mp4 XL2.mp4 | EM @ FooCafé in Malmö |
7 |
22/5 24/5 | XL3:
Reactive programming, XL4: Final QandA | XL3.mp4 | |
1/6 | Exam |