Funktsionaalne programmeerimine

Üldinfo

• Aine kood: MTAT.03.013
• Lektor: Varmo Vene
• Ainepunkte: 5
• Loengute toimumise aeg/koht:
• Teisipäev, kell 12.15 - 14.00, L208
• Reede, kell 12.15 - 14.00, L208
• Kursuse list: ati.funprog@lists.ut.ee
• Kirjandus:
  • P. Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, New York, 2000.
  • R. L. Page. Two Dozen Short Lessons in Haskell. Uni. of Oklahoma, 1997.
  • P. Hudak, J. Peterson, J. Fasel. A Gentle Introduction to Haskell. June 2000.
  • C. Hankin. Lambda Calculi - A guide for computer scientists. Oxford, 1994.
  • M. H. Sorensen, P. Urzyczyn. Lectures on the Curry-Howard Isomorphism. DIKU Rapport 98/14, 1998.
• Juhend hugsi käivitamiseks.
• Tulemused.
• Eksami näidisülesanded.
• Eksam:
• Toimumisaeg: 18. juuni, kell 10.15 - 14.00, L208

---

Loengute materjalid

• 13. 02 - Programmeerimiskeelte paradigmad, funktsionaalsete keelte põhiomadused, lühiülevaade ajaloost (loeng1.pdf, loeng1-2up.ps, fact.hs).
• 16. 02 - Primitiivtüübid, eeldefineeritud tüübikonstruktorid, funktsoonid ja operaatorid, listid (loeng2.pdf, loeng2-2up.ps).
• 20. 02 - Uute tüüpide defineerimine, algebralised andmetüübid (loeng3.pdf, loeng3-2up.ps).
• 27. 02 - Sisend/väljund, lihtne graafika (loeng4.pdf, loeng4-2up.ps).
• 02. 03 - Geomeetriliste kujundite joonistamine, kõrgemat-järku funktsioonid (loeng5.pdf, loeng5-2up.ps).
• 13. 03 - Geomeetriliste kujundite ümbermõõt, puud (loeng6.pdf, loeng6-2up.ps).
• 16. 03 - Regioonid ja nende "tähendus" (loeng7.pdf, loeng7-2up.ps).
• 20. 03 - Pildid, regioonide joonistamine (loeng8.pdf, loeng8-2up.ps).
• 23. 03 - Reaktiivsed pildid, tüübiklassid (loeng9.pdf, loeng9-2up.ps).
• 27. 03 - Animatsioonid (loeng10.pdf, loeng10-2up.ps).
• 30. 03 - Laisk väärtustamine (loeng11.pdf, loeng11-2up.ps).
• 03. 04 - Reaktiivsed animatsioonid (loeng12.pdf, loeng12-2up.ps).
• 06. 04 - Reaktiivsed animatsioonid (loeng13.pdf, loeng13-2up.ps).
• 10. 04 - Madala-taseme IO, kanalid, reaktiivsete animatsioonide täitmine (loeng14.pdf, loeng14-2up.ps).
• 17. 04 - Madala-taseme IO, kanalid, reaktiivsete animatsioonide täitmine (järg).
• 20. 04 - Lambda-arvutuse notatsioon ja põhimõisted (loeng15.pdf, loeng15-2up.ps).
• 24. 04 - Reduktsioon, normaalkuju, Church-Rosseri teoreem (loeng16.pdf, loeng16-2up.ps).
• 27. 04 - Peanormaalkujud, standardiseerimisteoreem, konstantidega lambda-arvutus (loeng17.pdf, loeng17-2up.ps).
• 08. 05 - Kombinaatorloogika (loeng18.pdf, loeng18-2up.ps).
• 11. 05 - Andmete esitamine lambda-arvutuses (loeng19.pdf, loeng19-2up.ps).
• 15. 05 - Püsipunktid, rekursioon, Churchi tees.
• 18. 05 - Lihtsalt tüübitud lambda-arvutuses (loeng20.pdf, loeng20-2up.ps).
• 22. 05 - Curry-Howard isomorfism, polümorfne lambda-arvutus (loeng21.pdf, loeng21-2up.ps).
• 25. 05 - Tüübi tuletamine, Hindley-Milneri tüübisüsteem (loeng22.pdf, loeng22-2up.ps).

---

Manualid, keelekirjeldused, etc.

• Hugsi manual
• Haskelli keelekirjeldus
• Haskelli standardteegid
• Hugsi ja GHC lisateegid
• Hugsi "Graphics" teek

---




Kompilaatorid, interpretaatorid, etc.

• Hugs 98 (siit alt saab hugsi interpretaatori !!)
• Vana Hugs 98
• Graphics teek
• The Chalmers Haskell Compiler (HBC)
• The Glasgow Haskell Compiler (GHC)
• Haskell Mode for Emacs

---

Kasulikke viiteid

• The Haskell Home Page
• Frequently asked questions for comp.lang.functional
• Why Functional Programming Matters by John Hughes.
• Notes on Functional Programming with Gofer by H. Conrad Cunningham.
• Introduction to Functional Programming using Gofer by P.E.Wentworth.
• Functional Programming by Jeroen Fokker.
• Some common (and not so common!) Hugs errors

---

Varmo Vene