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

IA014 Funkcionální programování

Rozsah

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

Vyučující

RNDr. Libor Škarvada (přednášející)
Mgr. Matej Kollár (pomocník)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: RNDr. Libor Škarvada
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

St 16:00–18:50 G123

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

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Kurs přináší přehled hlavních teoretických výsledků využívaných ve funkcionálním programování.

Osnova

• Jednoduchý jazyk a jeho sémantika.
• Typy. Problém otypování, parametrický polymorfismus. Impredikativní typové systémy. Otypování v predikativních typových systémech.
• Podtypy, hodnotově závislé typy, PTS.
• Imperativní prvky, vstup/výstup, ošetření výjimek, nedeterminismus, přepisovatelná pole, stav. Pokračování.
• Implementace funkcionálních jazyků. 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.

Literatura

• FIELD, Anthony J. a Peter G. HARRISON. Functional programming. 1st ed. Wokingham: Addison-Wesley Publishing Company, 1988, 602 s. ISBN 0-201-19249-7. info
• JONES, Simon L. Peyton. The implementation of functional programming languages. New York: Prentice Hall, 1987, xvi, 445 s. ISBN 0-13-453325-9. info

Záložky

https://is.muni.cz/ln/tag/FI:IA014!

Výukové metody

Kurs probíhá formou přednášek.

Metody hodnocení

Kurs je ukončen závěrečnou písemnou zkouškou.

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (jaro 2013, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2013/IA014