FI:I014 Funkcionální programování - Informace o předmětu

I014 Funkcionální programování

Fakulta informatiky
léto 1998

Rozsah

3/0. 3 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

RNDr. Libor Škarvada (přednášející)

Garance

Kontaktní osoba: RNDr. Libor Škarvada

Předpoklady

I015 Úvod do funkc. progr.
Předpokládá se absolvování kursu I015 Úvod do funkcionálního programování.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

Osnova

Kurs přináší pohled na funkcionální jazyky z hlediska jednoduchých matematických formalismů, kterými jsou různé modifikace a rozšíření (typovaného) lambda kalkulu. Věnuje se rovněž problematice implementace interpretů a kompilátorů a optimalizaci výpočtu.
Netypovaný a typovaný lambda kalkul. Silná normalizace, Churchova-Rosserova vlastnost.
Rekurse, věta o pevném bodě.
Jazyk PCF, denotační a operační semantika, úplná abstrakce, paralelní or.
Typy. Problém otypování.
Polymorfismus. Predikativní a impredikativní typové systémy.
Typové třídy a konstruktorové třídy. Podtypy. Typové systémy pro OOP.
Imperativní prvky, vstup/výstup, ošetření výjimek, nedeterminismus, přepisovatelná pole, stav. Pokračování.
Monády. Monadický datový typ IO.
Implementace funkcionálních jazyků. SECD stroj. Překlad definic podle vzoru, strážených klauzulí, intensionálních seznamů.
Grafová redukce. G-stroj. Superkombinátory, vynášení.
Optimální redukce, plná lenost, plně líné vynášení.

Informace učitele

Kurs je veden formou přednášek a probíhá v letním semestru v rozsahu 3 jednotky (150 minut) týdně.