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

Fakulta informatiky
podzim 1999
Rozsah
2/0. 2 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í)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: RNDr. Libor Škarvada
Předpoklady
Studenti by měli vystačit s běžnými středoškolskými znalostmi a jistou schopností matematické abstrakce.
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 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.
Literatura
  • THOMPSON, Simon. Haskell :the craft of functional programming. Harlow: Addison-Wesley, 1996, xx, 500 s. ISBN 0-201-40357-9. info
Metody hodnocení
Kurs je ukončen závěrečnou písemnou zkouškou.
Navazující předměty
Informace učitele
http://www.fi.muni.cz/usr/skarvada/vyuka/I015/index.html
Ve čtvrtek 25.11. bude přednáška I015 (desátá v semestru) v obvyklou dobu, tj. v 18.00.
Ve čtvrtek 2.12. přednáška I015 nebude. Jedenáctá přednáška místo toho bude následující týden, a to dvakrát: v úterý 7.12. v 9.00 v D1, a její opakování bude ještě ve čtvrtek 9.12. v D1 od 16.00.
Na ni bude ve čtvrtek 9.12. od 18.00 navazovat dvanáctá přednáška (paralelně v D1 a D2).
Konsultační hodiny ve středu 1.12. jsou zrušeny.
Studenti, kteří mají zapsán I001, navštíví ve čtvrtek 2.12. v 18.00 přednášku I001 doc. Ochranové a dr. Pelikána.
Komu nevyhovuje žádný z termínů jedenácté přednášky I015, tomu se omlouvám a zvu ho na konsultaci ve středu 8.12. nebo 15.12. odpoledne.
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 zima 1995, zima 1996, zima 1997, podzim 1998, podzim 2000, podzim 2001.