Funktsionaalprogrammeerimine 2026/27 sügis

Üldinfo

• Ainekood: LTAT.03.019 (6 EAP).
• Loengud:
  • Kolmapäev 10:15, Delta-1020, Varmo Vene, Kalmer Apinis.
• Praktikumid:
  1. rühm: Esmaspäev 10:15, Delta-2048, Danel Ahman
  2. rühm: Esmaspäev 12:15, Delta-2029, Karoliine Holter
  3. rühm: Teisipäev 10:15, Delta-2006, Kalmer Apinis
  4. rühm: Reede 10:15, Delta-2047, Kalmer Apinis
• Konsultatsioon (Kalmer)
  1. Kolmapäev 12:15-13:00 (vajadusel kuni 14:00), Delta-3022
• Kontrolltööd:
  • 1. kontrolltöö: ??. oktoober ???
  • 2. kontrolltöö: ??. detsember ???
• Eksam (mõlemad kontrolltööd):
  • ??. jaanuar kl ??
  • ??. jaanuar kl ??
  • korduseksam ??. jaanuar kl ???
• Kontrolltööde 2025 näidisülesanded (laadige alla, browseris vale kodeering):
  • 1. kontrolltöö näidisülesanded ja näidislahendused,
  • 2. kontrolltöö näidisülesanded ja näidislahendused
• 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.

• Idris 2 standardteek
• Idris 2 dokumentatsioon
• Idris 2 lähtekood
• Functional Programming (ITI0212)

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