Funktsionaalne programmeerimine
Üldinfo
-
Aine kood: MTAT.03.013
-
Lektorid:
-
Ainepunkte: 5
-
Loengute toimumise aeg/koht:
-
Esmaspäev, kell 14.15 - 16.00, L404
-
Kolmapäev, kell 12.15 - 14.00, L612
-
Kursuse list: ati.pk@lists.ut.ee
-
Kirjandus:
Loengute materjalid
-
12. 02 - Sissejuhatus, lambda-arvutuse notatsioon ja põhimõisted (loeng1.pdf).
-
14. 02 - Reduktsioon, normaalkuju, Church-Rosseri teoreem (loeng2.pdf).
-
19. 02 - Peanormaalkujud, standardiseerimisteoreem,
konstantidega lambda-arvutus (loeng3.pdf).
-
21. 02 - Kombinaatorloogika (loeng4.pdf).
-
26. 02 - Andmete esitamine lambda-arvutuses (loeng5.pdf).
-
28. 02 - Püsipunktid, rekursioon, Churchi tees.
-
12. 03 - Parserite kombinaatorid (loeng6.pdf, Parsers.hs).
-
14. 03 - Ilutrüki kombinaatorid (loeng7.pdf, PrettyP.hs).
-
19. 03 - Lihtsalt tüübitud lambda-arvutus (loeng8.pdf).
-
21. 03 - Curry-Howard isomorfism, polümorfne lambda-arvutus (loeng9.pdf).
-
26. 03 - Tüübi tuletamine, Hindley-Milneri tüübisüsteem (loeng10.pdf).
-
28. 03 - Monaadid (loeng11.pdf).
-
02. 04 - Monaadid.
-
04. 04 - IO monaad (loeng12.pdf).
-
09. 04 - Monaadiline prelüüd (loeng13.pdf).
-
11. 04 - Jätkumonaad ja monaaditeisendajad (loeng14.pdf).
-
16. 04 - Lambda-termide redutseerimine (loeng15.pdf);
tüübituletus (loeng16.pdf).
-
18. 04 - Monaadilised interpretaatorid (loeng17.pdf).
-
23. 04 - Komonaadid, andmevoosrvutused.
-
25. 04 - Komonaadilised interpretaatorid.
-
02. 05 - Programmide testimine, QuickCheck (loeng18.pdf).
-
07. 05 - Vabad teoreemid (loeng19.pdf).
-
09. 05 - Scrap Your Boilerplate (syb.pdf).
-
16. 05 - CAL and the Open Quark Framework.
-
21. 05 - HaXml (haxml.pdf).
-
23. 05 - Software Transactional Memory (stm.pdf).
Kodutööd
Kompilaatorid, interpretaatorid, etc.
Kasulikke viiteid
Varmo Vene