Üldinfo
- Ainekood: LTAT.03.019 (6 EAP).
- Loengud:
- Kolmapäev 10:15, Delta-1020, Varmo Vene, Kalmer Apinis.
- Praktikumid:
- rühm: Esmaspäev 10:15, Delta-2048, Johanna Charlotte Jeltsch
- rühm: Esmaspäev 12:15, Delta-2029, Martin Maikov
- rühm: Teisipäev 10:15, Delta-2006, Kalmer Apinis
- rühm: Reede 10:15, Delta-2047, Martin Kivisikk
- Konsultatsioon (Kalmer)
- Kolmapäev 12:15-13:00 (vajadusel kuni 14:00), Delta-3022
- Kontrolltööd:
- 1. kontrolltöö: 16. oktoober kl 16.15-18.00 ruumis 1020
- 2. kontrolltöö: 18. detsember kl 16.15-18.00 ruumis 1020
- Eksam (mõlemad kontrolltööd):
- 8. jaanuar kl 10.15-12.45 ruumis 1019
- 15. jaanuar kl 10.15-12.45 ruumis 1019
- korduseksam 29. jaanuar kl 10.15-12.45 ruumis 1022
- Ametlikud teated: Zulip (sisselogides näed linki)
- Tutvuge kindlasti õppekorralduse ja kursuste reeglitega.
Lisamaterjalid
Idrise dokumentatsioon
NB! Idrise dokumentatsioon on detailsem kui Idris 2 dokumentatsioon. Kuna Idris 2 on Idrisele sarnane, saab mõnikord abi ka Idrise dokumentatsioonist. Lisaks võivad abiks olla ka sarnaste teemade otsingud Haskelli kohta.
Raamatud
- FP ÕPIK (mustand)
- Type-Driven development with Idris, Edwin Brady
Kättesaadav TÜ arvutivõrgus Safari Books Online (O'Reilly) andmebaasis. Sisse logimiseks tuleb registreeruda TÜ e-mailiga (@ut.ee): Select your institution rippmenüüst valige Not listed? Click here. Seejärel sisestage oma TÜ e-posti aadress (@ut.ee). Saate ajutise juurdepääsu andmebaasile ja 5-30 minuti jooksul e-kirja konto loomiseks. - Haskell: The Craft of Functional Programming, Simon Thompson
Mitu eksemplari saadaval TÜ matemaatika ja informaatika raamatukogus, vaata e-kataloogist ESTER. - Lambda Calculi: A Guide for Computer Scientists, Chris Hankin