Funktsionaalne programmeerimine

Üldinfo

• Aine kood: MTAT.03.013
• Lektorid:
  • Varmo Vene
  • Jevgeni Kabanov
• Ainepunkte: 5
• Loengute toimumise aeg/koht:
• Esmaspäev, kell 14.15 - 16.00, L404
• Kolmapäev, kell 12.15 - 14.00, L612
• Kursuse list: ati.pk@lists.ut.ee
• Kirjandus:
  • P. Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, New York, 2000.
  • R. Bird. Introduction to Functional Programming using Haskell. 2nd ed. Prentice Hall, 1998.
  • 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.

Loengute materjalid

• 12. 02 - Sissejuhatus, lambda-arvutuse notatsioon ja põhimõisted (loeng1.pdf).
• 14. 02 - Reduktsioon, normaalkuju, Church-Rosseri teoreem (loeng2.pdf).
• 19. 02 - Peanormaalkujud, standardiseerimisteoreem, konstantidega lambda-arvutus (loeng3.pdf).
• 21. 02 - Kombinaatorloogika (loeng4.pdf).
• 26. 02 - Andmete esitamine lambda-arvutuses (loeng5.pdf).
• 28. 02 - Püsipunktid, rekursioon, Churchi tees.
• 12. 03 - Parserite kombinaatorid (loeng6.pdf, Parsers.hs).
• 14. 03 - Ilutrüki kombinaatorid (loeng7.pdf, PrettyP.hs).
• 19. 03 - Lihtsalt tüübitud lambda-arvutus (loeng8.pdf).
• 21. 03 - Curry-Howard isomorfism, polümorfne lambda-arvutus (loeng9.pdf).
• 26. 03 - Tüübi tuletamine, Hindley-Milneri tüübisüsteem (loeng10.pdf).
• 28. 03 - Monaadid (loeng11.pdf).
• 02. 04 - Monaadid.
• 04. 04 - IO monaad (loeng12.pdf).
• 09. 04 - Monaadiline prelüüd (loeng13.pdf).
• 11. 04 - Jätkumonaad ja monaaditeisendajad (loeng14.pdf).
• 16. 04 - Lambda-termide redutseerimine (loeng15.pdf); tüübituletus (loeng16.pdf).
• 18. 04 - Monaadilised interpretaatorid (loeng17.pdf).
• 23. 04 - Komonaadid, andmevoosrvutused.
• 25. 04 - Komonaadilised interpretaatorid.
• 02. 05 - Programmide testimine, QuickCheck (loeng18.pdf).
• 07. 05 - Vabad teoreemid (loeng19.pdf).
• 09. 05 - Scrap Your Boilerplate (syb.pdf).
• 16. 05 - CAL and the Open Quark Framework.
• 21. 05 - HaXml (haxml.pdf).
• 23. 05 - Software Transactional Memory (stm.pdf).

Kodutööd

• Lambda- ja kombinaatortermid (tähtaeg 1.04).
• Ettekannete teemad.
• Olekuteisendusmonaad.

Kompilaatorid, interpretaatorid, etc.

• Hugs 98
• The Glasgow Haskell Compiler (GHC)
• NHC98 from York
• Haskell Mode for Emacs
• Yampa: Functional Reactive Programming with Arrows

Kasulikke viiteid

• 2005.a. kursuse kodulehekülg
• 2003.a. kursuse kodulehekülg
• 2001.a. kursuse kodulehekülg
• 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