Kursused
2024/25 sügis
Funktsionaalprogrammeerimine (LTAT.03.019)
EN
Logi sisse
Funktsionaalprogrammeerimine
2024/25 sügis
Üldinfo
Õppekorraldus
Kursus
KKK
Installimine
Kodutöö 1
Kodutöö 2
Kodutöö 3
Kodutöö 4
Kodutöö 5
Kodutöö 6
Kodutöö 7
Kodutöö 8
Kodutöö 9
Kodutöö 10
Kodutöö 11
Kodutöö 12
Kodutöö 13
Konspekt
Baasväärtused ja tüübid
𝜆-arvutus
Kõrgemat järku funktsioonid
Interaktiivne programmeerimine
Uute tüüpide loomine
Liidesed
Sisend-Väljund
Laiskus
Lihtsalt tüübitud 𝜆-arvutus
Tüübituletus
Sõltuvad tüübid
Tõestamine Idrises
Kvantitatiivne tüübiteooria
Moodle
Zulip (sisselogides näed linki)