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
RNDr. Libor Škarvada
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: RNDr. Libor Škarvada
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 letletrec.
  • 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.