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

Přírodovědecká fakulta
podzim 2000
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
Cíle předmětu
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 dovoleno ukončit i mimo zkouškové období.
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 1999.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/sci/podzim2000/I3100