Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Funktsionaalne programmeerimine
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