Funktsionaalprogrammeerimise õpetamine Idrises
Kuupäev
2021
Autorid
Ajakirja pealkiri
Ajakirja ISSN
Köite pealkiri
Kirjastaja
Tartu Ülikool
Abstrakt
Viimase kümne aasta jooksul on funktsionaalprogrammeerimine palju arenenud
ja edasi liikunud. Bakalaureusetöö eesmärk on uurida, kas sõltuvate tüüpidega
keel Idris on sobilik keel bakalaureuseastmes klassikaliste ja tänapäevaste
funktsionaalprogrammeerimise teemade õpetamiseks. Selleks kohandati Haskelli
baasil eelkõige klassikalist funktsionaalprogrammeerimist õpetava kursuse
„Programmeerimiskeeled“ praktikumiülesanded Idrisesse ning uuriti, milliseid uusi
teemasid saab Idrise kasutusele võtmisega kursuse kavva lisaks võtta. Töös tutvustatakse
Haskelli ja Idrise põhilisi erinevusi „Programmeerimiskeelte“ aines käsitletud teemade
ulatuses ning sõltuvate tüüpidega programmeerimist Idrises. Töö põhjal jõuti järeldusele,
et Idris on sobilik keel bakalaureuseastmes funktsionaalprogrammeerimise õpetamiseks.
Kirjeldus
Märksõnad
funktsionaalprogrammeerimine, Haskell, Idris, sõltuvad tüübid, tüübisüsteemid, verifitseerimine