2-INF-159 Techniky a implementácie funkcionálneho programovania
| Odporúčaný ročník: | 2. |
| Semester: | zimný |
| Rozsah: | K3 |
| Hodnotenie: | 30/70 |
| Počet kreditov: | 4 |
| Vyučujúci: | prednáša RNDr. Peter Borovanský PhD. |
| www stránka: | |
| Predmet je v tomto akademickom roku suspendovaný. | |
Cieľ:
Doplniť základnú prednášku o funkcionálnom programovaní v dvoch nezávislých rovinách
- advancované funkcionálne programovanie
- implementačné techniky funkcionálnych jazykov
Sylabus:
- úvod do netypovaného a jednoducho typovateľného lambda-kalkulu
- základné pojmy, vlastnosti, operátor Y, SKI - kombinátory
- monadický štýl programovania
- príklad - konštrukcia syntaktických parserov
- implementačné techniky lenivých funkcionálnych jazykov
- transformácie rôznych konštrukcií obohatených lambda-jazykov
- kontrola typov a polymorfizmus vo funkcionálnych jazykoch
- efektívna implementácia pattern matchingu, many-to-one
- pattern matching
- implementácia funkcionálnych programovacích jazykov
- SECD stroje, abstraktná G-mašina, superkombinátory
- problém čistenia pamäti (garbage collection)
- transformácia funkcionálnych programov (unfolding, deforestrácia, atď.)
- parciálna evaluácia funkcionálnych programov
Literatúra:
Peyton Jones,S.: Implementation of Functional Languages
Jeuring,J., Meijer,E.: Advanced Functional Programmimg. Springer Verlag LNCS 925, 1995
Launchbury,J., Meijer,E.: 2nd Advanced Functional Programming. Springer Verlag LNCS 1129, 1996
Swiestra,S.D., Henriques,P.R.: 3rd Advanced Functional Programming. Springer Verlag LNCS 1608, 1998