Programmeerimiskeeled

• Aine kood: MTAT.03.006
• Lektor: Varmo Vene
• Ainepunkte: 4
• Loengute toimumise aeg/koht:
  • Esmaspäev, kell 10.15 - 12.00, L104
  • Kolmapäev, kell 12.15 - 14.00, L104
• Kursuse list: ati.pk@lists.ut.ee
• Kirjandus:
• D. Friedman, M. Wand, C. Haynes Essentials of Programming Languages. MIT Press, 1992. (2ed, 2001).
• D. Sitaram Teach Yourself Scheme in Fixnum Days.
• 1. kodused ülsended (tähtaeg 14. märts kell 11.59).
• 2. kodused ülsended (tähtaeg 25. aprill kell 11.59).
• 3. kodused ülsended (tähtaeg 11. juuni kell 11.59).
• Kirjete realisatsioon DrScheme jaoks.
• EOPL joonistel olev Scheme kood sources.ss.
• EOPL 13. (lisa)peatükk tüübikontrollist ch13.ps.
• Tulemused.
• Eksamid:
  • 08. juuni, kell 10, V137
  • 15. juuni, kell 10, L104

• 12. 02 - Sissejuhatus, programmeerimiskeelte paradigmad (loeng1.pdf, keelte genealoogia).
• 14. 02 - Ülevaade keele Scheme põhikonstruktsioonidest (loeng2.pdf) [EOPL ptk.1].
• 19. 02 - Induktiivsed spetsifikatsioonid, BNF, rekursiivsed protseduurid (loeng3.pdf) [EOPL ptk. 2.1, 2.2].
• 21. 02 - Muutujate staatilised omadused, vabad ja seotud muutujad, leksline aadress (loeng4.pdf) [EOPL ptk. 2.3, 2.4].
• 26. 02 - Süntaktiline abstraktsioon, lokaalsed definitsioonid, tingimuslikud konstruktsioonid (loeng5.pdf) [EOPL ptk. 3.1-3.3].
• 28. 02 - Kirjed, variantkirjed, konkreetne- ja abstraktne süntaks, parsimine (loeng6.pdf) [EOPL ptk. 3.4-3.7].
• 12. 03 - Imperatiivsed konstruktsioonid, järjestikku täitmine, sisend/väljund, omistamine (loeng7.pdf) [EOPL ptk. 4.5,4.6].
• 14. 03 - Lambda-arvutus, reduktsioonistrateegiad (loeng8.pdf, reduce.ss) [EOPL ptk. 4.1-4.3].
• 19. 03 - Rekursioon lambda-arvutuses, laisk-väärtustamine Scheme's (loeng9.pdf, loeng9.ss) [EOPL ptk. 4.4,4.7].
• 21. 03 - Lihtsa objektkeele interpretaator (loeng10.pdf, interpretaatori kood) [EOPL ptk. 5.1,5.2].
• 26. 03 - Lokaalsed definitsioonid, protseduurid, omistamine (loeng11.pdf, interpretaatorite kood) [EOPL ptk. 5.3-5.5].
• 28. 03 - Rekursiivsed protseduurid, dünaamiline skoop ja omistamine (loeng12.pdf, interpretaatorite kood) [EOPL ptk. 5.6-5.8].
• 02. 04 - Massiivid, parameetrite edastamise viisid, "call-by-value", "call-by-reference" (loeng13.pdf, interpretaatorite kood) [EOPL ptk. 6.1-6.3].
• 04. 04 - Väljendatavad ja tähistatavad väärtused, "call-by-name", "call-by-need" (loeng14.pdf, interpretaatorite kood) [EOPL ptk. 6.4-6.7].
• 09. 04 - Objektid ja klassid (loeng15.pdf, interpretaatori kood) [EOPL ptk. 7.1].
• 11. 04 - Päriminine (loeng16.pdf, interpretaatorite kood) [EOPL ptk. 7.2].
• 16. 04 - Metaklassid (loeng17.pdf, interpretaatori kood) [EOPL ptk. 7.3, 7.4].
• 18. 04 - Iteratiivne vs. rekursiivne käitumine, 'continuation passing style' (loeng18.pdf) [EOPL ptk. 8.1-8.3].
• 23. 04 - CPS-transformatsioon (loeng19.pdf) [EOPL ptk. 8.4-8.8].
• 25. 04 - Jätkude esitamine andmestruktuuridena, CPS-kujul interpretaator (loeng20.pdf, interpretaatorite kood) [EOPL ptk. 9.1,9.2].
• 30. 04 - Mitte-lokaalsed kontrolloperaatorid, "1-klassi" jätkud (loeng21.pdf, interpretaatorite kood) [EOPL ptk. 9.3].
• 09. 05 - Ülessuunalised jätkud, kaasprotseduurid (loeng22.pdf, interpretaatorite kood) [EOPL ptk. 9.4].
• 14. 05 - Tüübid, staatiline tüübikontroll (loeng23.pdf, interpretaatori kood) [EOPL ptk. 13.1, 13.2].
• 16. 05 - Polümorfsed tüübid; ad-hoc ja parameetriline polümorfism (loeng24.pdf).
• 21. 05 - Kontrolltöö!
• 23. 05 -

• Revised(5) Report on the Algorithmic Language Scheme
• The Scheme Programming Language by R. Kent Dybvig
• DrScheme kodulehekülg
• How to Design Programs