mfp04a: tematika, időbeosztás

• 1.-3. hét: Az SML modulnyelve
• Fő jellemzők: signatures, structures, functors, type sharing, etc.
• Harper's Programming in Standard ML<http://www-2.cs.cmu.edu/~rwh/smlbook>
• További olvasnivaló (németül): <http://www.ps.uni-sb.de/courses/prog-ws00/skript/9.pdf>
• Előadások:
• 1/1, 1/2 (Hanák Péter): Modul, struktúra, szignatúra, áttetsző és átlátszó-szignatúra, szignatúra-bővítés, sktruktúra-öröklődés, szignatúra-illeszkedés
• 2/1, 2/2 (Hanák Péter): Szignatúra-kötés, modulok függősége, modulok hierarchikus összekapcsolása, példa: polimorf szótár, modulok szimmetrikus összekapcsolása: típusmegosztás, struktúramegosztás
• 3/1 (Hanák Péter): Paraméterezhető modulok, példa: polimorf szótár funktorral, funktorok és típusmegosztás
• 3.-5. hét: Alice
• Fő jellemzők: lazy evaluation, concurrency, distribution, futures, constraints, etc.
• Alice home (tour, manual, etc.): <http://www.ps.uni-sb.de/alice>
• Egyes cikkek: <http://www.ps.uni-sb.de/courses/seminar-ws03>
• Alice download: <http://www.ps.uni-sb.de/alice/download.html>
• Előadások:
• 3/2 (Szoboszlay Dániel): Jövők (lusta, konkurens, ígért, meghiúsult), csomagok (pack, unpack)
• 4/1 (Szoboszlay Dániel): Szerializáció (pickling), elosztott programozás, példa: számkitalálós játék
• 4/2 (Pallinger Péter): Korlát-alapú programozás véges halmazokon, példák: send + more = money, n királynő; inspektor, explorer; a korlát-programozás egyik struktúrája: FD
• 5/1 (Pallinger Péter): A korlát-programozás további struktúrái: Linear, FS; a keresési tér struktúrái: Space, Search (terv)
• 5.-7. hét: Haskell
• Fő jellemzők: purely functional, lazy evaluation, polymorphism, powerful abstractions
• Haskell home (description, manual, etc.): <http://www.haskell.org/>
• Diák az mfp03s félévből: PDF (2 dia/A4), PDF (4 dia/A4), programrészletek.
• Egyes cikkek: <http://www.ps.uni-sb.de/courses/seminar-ws03>
• Hugs download: <http://cvs.haskell.org/Hugs/pages/downloading.htm>
• Előadások:
• 5/2 (Patai Gergely): A Haskell mint funkcionális nyelv és mint lusta nyelv
• 6 (Papp Dávid): A Haskell-típusnyelv kiterjesztése. A Haskell modulnyelve
• 7 (Újvári Gergely): "Imperatív" elemek a Haskellben (hibakezelés, állapotkezelés, ki- és bevitel; monádok
• 8.-13. hét: Scheme (terv)
• Fő jellemzők: Lisp-dialect, type-less, etc.
• Abelson's & Sussmans' Structure and Interpretation of Computer Programs: HTML: <http://mitpress.mit.edu/sicp/>, PDF: <http://www.cs.uvm.edu/~dvanhorn/scheme/sicp.pdf>
• Scheme download: <http://www.gnu.org/software/mit-scheme>
• Előadások:
• 8 (Altrichter Márta): Bevezetés a Scheme-be (1. rész)
• 9 (Szathmári Marcell): Bevezetés a Scheme-be (2. rész)
• 10 (Drótos Márton): SICP/Scheme (1. rész)
• 14. hét: Házi feladatok, vizsga stb. megbeszélése

Módszer

Házi feladatok

Kapcsolattartás

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