Funktsionaalne programmeerimine

Üldinfo

Aine kood: MTAT.03.013
Lektor: Varmo Vene
Ainepunkte: 5
Loengute toimumise aeg/koht:

Esmaspäev, kell 14.15 - 16.00, L403
Neljapäev, kell 12.15 - 14.00, L405

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.

Loengute materjalid

03. 03 - Listide kombinatoorsed funktsioonid (loengut ei toimu - Palmse talvekool). (ListComb.lhs)
06. 03 - Listide sorteerimine (loengut ei toimu - Palmse talvekool). (ListSort.lhs)
27. 03 - Monaadid, monaadilised interpretaatorid (loeng-monad.ps.gz).
31. 03 - Monaadilised interpretaatorid (loeng-interp.ps.gz).
03. 04 - Parserite kombinaatorid (loeng-parser.ps.gz).

Manualid, keelekirjeldused, etc.

Kompilaatorid, interpretaatorid, etc.

Hugs 98 (siit alt saab hugsi interpretaatori !!)
Graphics teek
The Glasgow Haskell Compiler (GHC)
Yampa: Functional Reactive Programming with Arrows
AFRP: Arrows-based Functional Reactive Programming
NHC98 from York
The Chalmers Haskell Compiler (HBC)
Haskell Mode for Emacs

Kasulikke viiteid

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