Functional Programming 2024/25 fall

Kursus

Kontrolltööde näidised:

• kontrolltöö 1 näidis
• kontrolltöö 1 näidis (lahendusega)
• kontrolltöö 2 näidis
• kontrolltöö 2 näidis (lahendusega)
• Kt2.idr

Märkus: Kodutöid pole soovitatav ette ära teha. Kodutööde ülesanded, mis pole veel lahendamiseks välja andtud, võivad muutuda -- need on lihtsalt kopeeritud siia eelmise aasta materjalidest.

#	Nädal	Teema/video(d) (test, uus konspekti osa)	Loeng	Praks
0	-	-	-	installimine
1	04.09	süntaks (test, IdrisBase)	slaidid, idr, panopto	kodutöö 1
2	11.09	λ-arvutus, rekursioon (test, LambdaBase)	slaidid, panopto	kodutöö 2
3	18.09	substitutsioon, listikomprehensioon (test)	panopto	kodutöö 3
4	25.09	reduktsioon, kõrgemat-järku fun. (test, HigherOrder)	idr, panopto	kodutöö 4
5	02.10	andmestruktuurid Idrises ja {$\lambda$}-arvutuses (test, NewTypes)	idr, panopto	kodutöö 5
6	9.10	liidesed (test, Interfaces)	slaidid, idr, panopto	kodutöö 6
7	16.10	-	slaidid, idr, panopto	kodutöö 7
8	23.10	laiskus (test, Lazy)	slaidid, idr, panopto	Kontrolltöö 1
9	30.10	sisend-väljund (test, IO)	slaidid, idr, panopto	kodutöö 8
10	06.11	lihtsalt tüübitud λ-arvutus (test, SimpleTypes)	slaidid, idr, panopto	kodutöö 9
11	13.11	tüübituletus (test, TypeInference)	slaidid, idr, panopto	kodutöö 10
12	20.11	sõltuvad tüübid (test, IdrisDep)	slaidid, idr, panopto	kodutöö 11
13	27.11	Curry-Howard vastavus, tõestamine (test, IdrisProof)	slaidid, idr, panopto	kodutöö 12
14	04.12	monaadid ja kõrvalefektid (tagasiside)	slaidid, idr1, idr2, idr3, idr4, idr5, idr6, panopto	vabatahtlik
15	11.12	kvant. tüübiteooria (test)	hs, idr, panopto	Kontrolltöö 2
16	18.12	jätkud (tagasiside ja küsimused Zulip-isse)		vabatahtlik (kodus)