Funktsionaalne programmeerimine
Üldinfo
-
Aine kood: MTAT.03.013
-
Lektor: Varmo Vene
-
Ainepunkte: 5
-
Loengute toimumise aeg/koht:
-
Esmaspäev, kell 14.15 - 16.00, L405
-
Neljapäev, kell 12.15 - 14.00, L405
-
Kursuse list: ati.pk@lists.ut.ee
-
Kirjandus:
Loengute materjalid
-
07. 02 - Sissejuhatus, lambda-arvutuse notatsioon ja põhimõisted (loeng1.pdf).
-
10. 02 - Reduktsioon, normaalkuju, Church-Rosseri teoreem (loeng2.pdf).
-
14. 02 - Peanormaalkujud, standardiseerimisteoreem,
konstantidega lambda-arvutus (loeng3.pdf).
-
17. 02 - Kombinaatorloogika (loeng4.pdf).
-
21. 02 - Andmete esitamine lambda-arvutuses (loeng5.pdf).
-
07. 03 - Püsipunktid, rekursioon, Churchi tees.
-
10. 03 - Lihtsalt tüübitud lambda-arvutus (loeng6.pdf).
-
14. 03 - Curry-Howard isomorfism, polümorfne lambda-arvutus (loeng7.pdf).
-
17. 03 - Tüübi tuletamine, Hindley-Milneri tüübisüsteem (loeng8.pdf).
-
21. 03 - Parserite kombinaatorid (loeng9.pdf, Parsers.hs).
-
24. 03 - Ilutrüki kombinaatorid (loeng10.pdf, PrettyP.hs).
-
28. 03 - Monaadid, monaadilised interpretaatorid (loeng11.pdf).
-
31. 03 - Monaadid, monaadilised interpretaatorid (loeng12.pdf).
-
04. 04 - Lambda-termide redutseerimine (loeng13.pdf).
-
07. 04 - Tüübituletus (loeng14.pdf).
-
11. 04 - Lihtne graafika, kujundid, regioonid, pildid (loeng15.pdf).
-
14. 04 - Reaktiivsed pildid, animatsioonid (loeng16.pdf).
-
18. 04 - Reaktiivsed animatsioonid (loeng17.pdf).
-
21. 04 - Reaktiivsed animatsioonid.
-
25. 04 - Yampa installeerimine.
-
28. 04 - Reaktiivsed animatsioonid (loeng18.pdf).
Kodutööd
Manualid, keelekirjeldused, etc.
Kompilaatorid, interpretaatorid, etc.
Kasulikke viiteid
Varmo Vene