Magasabbrendű funkcionális programozás
mfp03s

• Feliratkozás a tárgy mfp-l@iit.bme.hu levelezési listájára itt.
• A tárgy adatlapja
• Órák (a kiadottól eltérően, megállapodás szerint): hétfőn 15.15-17.00 és pénteken 14.15-16.00 között az IIT tanszéken az IB.310-es teremben.
• Az első két hét anyaga R. Harper, majd a második két hét anyaga J. Harrison és G. Michaelson könyvének alább megnevezett részei.
• Könyvek, jegyzetek, segédletek
• Robert Harper: Programming in Standard ML
  Tananyag: a könyv III. és IV. része.
  Letölthető: eredeti, tükör
• John Harrison: Introduction to Functional Programming. 1997.
  Tananyag: a könyv lambda-kalkulusról szóló fejezetei (a 7.-től a 49. oldalig).
  Letölthető: tükör
• Greg Michaelson: An introduction to functional programming through lambda calculus. Addison-Wesley, 1989, ISBN 0-201-17812-5.
  Tananyag: a könyv lambda-kalkulusról szóló fejezetei (a 206. oldalig).
  Letölthető: eredeti, tükör
• Paul Graham: On Lisp. Prentice Hall, 1993, ISBN 0-130-30552-9.
  Letölthető: eredeti, tükör
• Paul Hudak, John Peterson, Joseph Fasel: A Gentle Introduction to Haskell 98. Yale University, 1999.
  Letölthető: eredeti, tükör
• Functional Programming in CLEAN. 1999.
  Letölthető: eredeti, tükör
• Emmanuel Chailloux, Pascal Manoury, Bruno Pagano: Développement d'applications avec Objective CAML. O'Reilly France, 2000, ISBN 2-841-77121-0 ( angol változat: Developing applications with Objective Caml).
  Letölthető: eredeti, tükör
• David Andrew Kranz: ORBIT: An Optimizing Compiler For Scheme. Yale University, 1988.
  Letölthető: eredeti, tükör
• Feldolgozni való cikkek
• Luca Cardelli: Compiling a Functional Language tükör
• Zhong Shao, Andrew W. Appel: A Type-based compiler for Standard ML tükör
• A 2002. évi 8. International Conference on Functional Programming (ICFP) előadásai. Elérhetők (kizárólag a BME és néhány más felsőoktatási intézmény belső hálózatából) a ACM webszerverén.
• Diák
• Az SML modulokról szóló előadás diái és a programrészletek: PDF (2 dia/A4), PDF (4 dia/A4), programrészletek.
• Lambda kalkulus: PDF
• OCaml: PDF
• A Haskellről szóló előadás diái és a programrészletek: PDF (2 dia/A4), PDF (4 dia/A4), programrészletek.
• A Continuation Passing Style-ról szóló előadás diái és a programrészletek: PDF (2 dia/A4), PDF (4 dia/A4), programrészletek.
• A Scheme-ről szóló előadás diái és a programrészletek: PDF, programrészletek.
• Programok
Lambda-kalkulus értelmezők (Java-ban): lambda-1.00.tar.gz, LambdaTeacher.zip

• Válogatás a Nemes Tihamér Verseny feladataiból (Zsakó László és Horváth Gyula feladatai).
• Válogatás más középiskolai versenyfeladatokból (Rácz Balázs gyűjtése).