Üldiselt
Funktsionaalprogrammeerimine (ehk FP) on välja kasvanud λ-arvutuse teooriast ja on oma heade omaduste tõttu leidnud tee paljudesse levinud programmeerimiskeeltesse. Kuigi funktsionaalses stiilis saab programmeerida nii Pythonis, Javas, C++-is, C#-is kui ka JavaScriptis, eelistame õppimiseks puhast funktsionaalset keelt Idris. Lisaks FP alustele õpime tüübipõhist programmeerimist, mis väidab, et tüüpe arvestades on lihtsam kirjutada korrektseid ja tõhusaid programme. Kursuse lõpus vaatame põgusalt paari tänapäevasemat FP teemat: sõltuvate tüüpide teooriat ja kvantitatiivset tüübiteooriat. Sõltuvad tüübid Idrises võimaldavad näiteks funktsioonide korrektust tõestada. Kvantitatiivses tüübiteoorias saame lisaks väljendada, mitu korda mingit väärtust kasutatakse -- võimaldades täpselt spetsifitseerida piiratud ressurssidega arvutusi, näiteks mitmelõimelist arvutamist.
Peamised teemad
- Motivatsioon, funktsionaalse programmeerimiskeele tutvustus, paradigmad.
- λ-arvutuse tutvustus
- Idrise baasväärtused ja -tüübid, rekursiivsed funktsioonid täisarvudel.
- Substitutsioon (λ-arvutus)
- kõrgemat järku funktsioonid, listid
- Reduktsioon (λ-arvutus)
- Liidesed, do-notatsioon
- Uute tüüpide loomine, andmestruktuurid, kirjed
- Sisend-väljund
- Vahekontrolltöö!
- Lihtsalt tüübitud lambda arvutus
- Laisk väärtustamine ja lõpmatud struktuurid
- Tüübituletus
- Andmed ja püsipunktid (λ-arvutus)
- Tõestused tüübiteooria abil
- Vektorid ja muud sõltuvad tüübid
- Lineaarsete tüüpidega sisend-väljund
- Kontrolltöö!
Hindamine
Hinde skaala: 0p .. 50p → F, 51p .. 60p → E, 61p .. 70p → D, ... (Punktid ümardame üles. S.t. 9.1 on juba kindlasti A.)
Hinde moodustavad:
- Kontrolltööd (2*31p, 2*10p alampiir, praksi ja/või sessi ajal)
- Kodutööd (12*2p, Moodle)
- Test ja tagasiside (14*1p, Moodle)
- Active Quiz (iga küsitlus 0.5 boonuspunkti, Moodle)
Kontrolltööd
Kontrolltöid on 2:
- Vahekontrolltöö 9. nädalal (8. praktikumis)
- Kontrolltöö 16. nädalal (15. praktikumis)
Mõlemat kontrolltööd saab lahendada kuni 2 korda, esimene kord semestri ajal praktikumis ning teine kord eksamisessiooni ajal. Kahest katsest läheb arvesse parim.
Kontrolltööd on avatud materjalidega: lubatud on enda lahenduste, näidislahenduste ja interneti kasutamine. Kontrolltöö ajal on suhtlemine keelatud.
Kontrolltööd toimuvad üldjuhul Deltas kohapeal. Kontrolltööst haigestumise vms. mõjuval põhjusel puudumise korral võtta ühendust praktikumijuhendajaga.