PřF:I3100 Úvod do funkcionálního program

I3100 Úvod do funkcionálního programování

Přírodovědecká fakulta
podzim 1999

Rozsah

2/0/0. 4 kr. Ukončení: zk.

Vyučující

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

Garance

Omezení zápisu do předmětu

Předmět je určen pouze studentům mateřských oborů.

Mateřské obory/plány

Osnova

Kurs podává úvodní informace o funkcionálním programování. Po jeho absolvování by posluchači měli být schopni psát jednoduché programy v čistě funkcionálním stylu.
Základní pojmy: term, hodnota, redukce.
Pořadí vyhodnocování, striktní a líné vyhodnocování.
Lambda abstrakce a výrazy s let a letrec.
Vyšší funkce, částečná aplikace, currifikace.
Jednoduché typy: základní typy a typové konstruktory, součinové typy.
Polymorfní typy, otypování.
Definice nových typových konstruktorů, součtové typy, rekursivní typy; definice podle vzoru.
Seznamy, výčtový a intensionální zápis seznamů.
Nekonečné seznamy a stromy.
Rekursivní funkce, operace na seznamech a stromech, složitost.
Moduly, abstraktní datové typy.

Informace učitele

http://www.fi.muni.cz/usr/skarvada/vyuka/I015/

Další komentáře

Předmět je vyučován každoročně.
Výuka probíhá každý týden.

Předmět je zařazen také v obdobích podzim 2000.