mfp06a: tematika, időbeosztás

• 1.-3. hét: Haskell (terv)
• Fő jellemzők: purely functional, lazy evaluation, polymorphism, powerful abstractions
• Haskell home (description, manual, etc.): <http://www.haskell.org/>
• Hugs download: <http://cvs.haskell.org/Hugs/pages/downloading.htm>
• Előadások:
• Időpontok: 09-11 hé, 09-15 pé, 09-18 hé, 09-22 pé, 09-25 hé, 09-29 pé
• A Haskell mint funkcionális nyelv és mint lusta nyelv
• A Haskell-típusnyelv kiterjesztése. A Haskell modulnyelve
• "Imperatív" elemek a Haskellben: meghiúsulás kezelése, állapotkezelés, ki- és bevitel
• Monádok
Olvasnivalók
• Monads for the Working Haskell Programmer - a short tutorial <http://www.engr.mun.ca/~theo/Misc/haskell_and_monads.htm>
• All About Monads <http://www.nomaware.com/monads/html>
• What the hell are Monads? <http://www.cs.pdx.edu/~antoy/Courses/TPFLP/lectures/MONADS/Noel/research/monads.html>
• Monads in functional programming (Wikipedia) <http://en.wikipedia.org/wiki/Monads_in_functional_programming>
• About Monads <http://www.haskell.org/tutorial/monads.html>
• Monads (slides) <http://www.cs.lth.se/EDA120/lectures/l8.pdf>
• 4.-6. hét: Alice (terv)
• Fő jellemzők: futures (lazy evaluation, concurrency), higher-order modules, packages, pickling, components, distribution, constraints, etc.
• Alice home: <http://www.ps.uni-sb.de/alice>
• Alice download: <http://www.ps.uni-sb.de/alice/download.html>
• Alice Through the Looking Glass (Extended Mix): <http://www.ps.uni-sb.de/Papers/abstracts/alice-looking-glass-extended.html>
• Alice Manual - A Tour to Wonderland: <http://www.ps.uni-sb.de/alice/manual/tour.html>
• Alice Manual - The Language: <http://www.ps.uni-sb.de/alice/manual/language.html>
• Constraint Programming in Alice (kurzus Saarbrückenben): <http://www.ps.uni-sb.de/courses/cp-ss05/services.html>
• További olvasnivalók (egyes cikkek): <http://www.ps.uni-sb.de/courses/seminar-ws03>
• Előadások:
• Időpontok: 10-02 hé, 10-06 pé, 10-09 hé, 10-13 pé, 10-16 hé, 10-20 pé, 10-27 pé
• Jövők (lusta, konkurens, ígért, meghiúsult), csomagok (pack, unpack)
• Konzerválás (pickling), elosztott programozás (distributed). Példa: "Gondoltam egy számot".
• Korlátalapú programozás véges tartományokban, példák: send + more = money, send + most = money, n vezér a sakktáblán (kétféle modellel); inspektor, explorer; a korlátalapú programozás egyik modulja: FD.
• A korlátprogramozás további moduljai: Linear, FS. A keresési tér moduljai: Space, Search
• Az Alice további nyelvi kiterjesztései: típusnyelvi, modulnyelvi és szintaktikai kiterjesztések
• Az Alice egyéb könyvtári moduljai: Explorer, Inspector, MkRedBlackSet
• 7. hét: Continuation passing style (terv)
• Fő jellemző: folytatás mint paraméter
• Előadások:
• Időpontok: 10-30 hé, 11-03 pé
• Olvasnivaló: Continuations in SML (PDF 4/A4) <http://www.it-c.dk/courses/PFOO/F2005/8.pdf>
• 8.-10. hét: Hume (terv)
• Fő jellemzők: strongly typed, mostly-functional; aims at programming resource-limited systems, including real-time embedded and safety-critical systems; plans an integrated tool set for developing, proving and assessing concurrent, safety-critical systems.
• Hume home: <http://www-fp.dcs.st-and.ac.uk/hume>
• Hume project: <http://www.macs.hw.ac.uk/~greg/hume/>
• Hume download: <http://www-fp.dcs.st-and.ac.uk/hume/downloads>
• 11.-13. hét: Erlang (terv)
• Fő jellemzők: strict evaluation, mostly functional; concurrent and distributed programming; single assigment; dynamic typing.
• Erlang home: <http://www.erlang.org>
• Erlang download: <http://www.erlang.org/download.html>
• 14. hét: Házi feladatok megbeszélése (terv)

Házi feladatok

Kapcsolattartás

Egyebek

• Ajánlott olvasmány: Van Roy's & Haridi's Concepts, Techniques, and Models of Computer Programming, <http://www2.info.ucl.ac.be/people/PVR/book.html>, PDF: <http://www.ulb.ac.be/di/rwuyts/INFO020_2003/vanRoyHaridi2003-book.pdf>

Hanák Péter <hanak at inf.bme.hu>