Funktsionaalprogrammeerimine
Üldinfo
-
Aine kood: MTAT.05.106
-
Lektor:
-
Ainepunkte: 4
-
Loengute toimumise aeg/koht:
-
Esmaspäev, kell 14.15 - 16.00, L404
-
Kolmapäev, kell 12.15 - 14.00, L404
-
Kirjandus:
-
Eksam:
-
18.06, kell 10.15 - 12.00, L402
Loengute materjalid
-
09. 02 - Sissejuhatus, lambda-arvutuse notatsioon ja põhimõisted
(loeng0.pdf,
loeng1.pdf).
-
11. 02 - Reduktsioon, normaalkuju, Church-Rosseri teoreem.
-
16. 02 - Peanormaalkujud, standardiseerimisteoreem,
konstantidega lambda-arvutus.
-
18. 02 - Kombinaatorloogika.
-
23. 02 - Andmete esitamine lambda-arvutuses, püsipunktid,
Churchi tees.
-
25. 02 - Efektid ja monaadid
(loeng2.pdf).
-
02. 03 - Loengut ei toimu (Talvekool Palmses).
-
04. 03 - Loengut ei toimu (Talvekool Palmses).
-
09. 03 - Efektid ja monaadid.
-
11. 03 - Ilutrüki kombinaatorid
(loeng3.pdf,
PrettyP.hs).
-
16. 03 - Lambda-termide redutseerimine
(loeng4.pdf).
-
18. 03 - Lihtsalt tüübitud lambda-arvutus (loeng5.pdf).
-
23. 03 - Curry-Howard isomorfism, polümorfne
lambda-arvutus.
-
25. 03 - Loengut ei toimu.
-
06. 04 - Tüübi tuletamine, Hindley-Milneri tüübisüsteem.
-
08. 04 - Tüübituletus (loeng6.pdf).
-
13. 04 - Monaadilised interpretaatorid (loeng7.pdf).
-
15. 04 - Komonaadid, andmevooarvutused.
-
20. 04 - Komonaadilised interpretaatorid.
-
22. 04 - Jätkud (loeng8.pdf).
-
27. 04 - Monaadiline prelüüd (loeng9.pdf).
-
29. 04 - Monaaditeisendajad (loeng10.pdf).
-
04. 05 - Monaaditeisendajad.
-
06. 05 - Jätkuedastusmonaad.
-
11. 05 - Programmide testimine, QuickCheck (loeng11.pdf).
-
18. 05 - Ettekanded [Jaak R. (pdf),
Raivo L. (pdf)].
-
20. 05 - Ettekanded [Taimo P. (pdf),
Henri L. (pdf)].
-
25. 05 - Ettekanded [Aivar A. (pdf),
Ivo S. (pdf)].
-
27. 05 - Ettekanded [Anna A. (odp)].
-
18. 06 - Eksam.
Kodutööd
Kompilaatorid, interpretaatorid, etc.
Kasulikke viiteid
Varmo Vene