FI:IB016 Seminář z funkc. programování - Informace o předmětu

IB016 Seminář z funkcionálního programování

Rozsah

0/2. 2 kr. (plus ukončení). Ukončení: z.

Vyučující

RNDr. Libor Škarvada (cvičící)
Mgr. Matej Kollár (cvičící)
Mgr. Petr Pilař (cvičící)

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 seminárních/paralelních skupin

IB016/01: Út 18:00–19:50 B130, M. Kollár
IB016/02: Út 14:00–15:50 B130, P. Pilař

Předpoklady

IB015 Úvod do funkc. programování
Pro zapsání do kurzu stačí mít znalost v rozsahu předmětu IB015 Neimperativní programování a kladný vztah k funkcionálnímu programování.

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

• Aplikovaná informatika (program FI, B-AP)
• Bioinformatika (program FI, B-AP)
• Informatika a druhý obor (program FI, B-EB)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-TV)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Sociální informatika (program FI, B-AP)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)

Cíle předmětu

Studenti předmětu si podstatně rozšíří své znalosti funkcionálního programování. Po absolvování kurzu by měli být schopni řešit netriviální programátorské problémy s pomocí Haskellu a získat přehled o praktických využitích tohoto funkcionálního jazyka.

Osnova

• GHC(i), příkazy interpretu, kompilace programů v Haskellu.
• Větvení programů, rekurze, anonymní funkce, funkce vyšších řádů, operátory skládání a aplikace funkce.
• Moduly a typové třídy: důležité moduly v Haskellu 98, jejich import, psaní vlastních modulů. Typové třídy Show, Read, číselné typové třídy a další.
• Datové struktury: asociační seznamy, záznamy, pole, implementace vlastních datových struktur.
• Vstup a výstup: práce se soubory, systémové programování, možnosti VV v Haskellu.
• Monády: funktory, programování s monádami.
• Zpracování chyb a výjimek: Maybe, Either, odchytávání a nastavování výjimek, ošetření chybových stavů.
• Testování, optimalizace, dokumentace: QuickCheck, pokrytí kódu, profilování, koncová rekurze, přidávání striktnosti, dokumentované programování a generování dokumentace.
• Parsování: regulární výrazy, generátor parserů Parsec.
• Databáze: rozhraní HDBC, SQL.
• Webové a síťové služby: programování webových aplikací pomocí frameworků, používání síťových protokolů.
• GUI/práce s multimédii: gtk2hs/zpracování obrázků.
• Paralelní programování: vlákna, paralelní programování a strategie.

Literatura

• O'SULLIVAN, Bryan, John GOERZEN a Don STEWART. Real World Haskell. First Edition. O'Reilly Media, Inc., 2009, 670 s. ISBN 978-0-596-51498-3. URL info

Záložky

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

Výukové metody

Kurz se sestává z dvouhodinových cvičení, ve kterých jsou studentům prezentována témata využití funkcionalního programování v praxi. Kromě toho je požadováno řešení pěti domácích úloh týkajících se probírané látky.

Metody hodnocení

Podmínkou pro získání zápočtu je získání minimálně 50 % bodů z domácích úloh. Účast na cvičeních je povinná a velké množství absencí může negativně ovlivnit výsledný bodový zisk.

Navazující předměty

• IA014 Advanced Functional Programming

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

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