Poslední úprava: RNDr. Michal Kopecký, Ph.D. (04.06.2018)
Programování v Haskellu zaměřené na řešení praktických problémů -- run-time systém, standardní knihovna, užitečné nástroje.
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (04.06.2018)
Programming in Haskell aimed at practical problem solving -- run-time system, standard library, useful tools.
Cíl předmětu -
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (04.06.2018)
Cílem je navázat na úvod do Haskellu z předmětu Neprocedurální programování a naučit se programovat užitečný a prakticky použitelný software v Haskellu. Součástí předmětu je přehled nejpopulárnějších knihoven a efektivních řešení složitých problémů pomocí funkcionálního programování.
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (04.06.2018)
The main goal is to develop the introduction to Haskell from the Non-procedural programming course, and learn to create useful and practical software in Haskell. The course covers several most popular libraries and some efficient solutions to complicated problems that exploit functional programming.
Podmínky zakončení předmětu
Poslední úprava: RNDr. Miroslav Kratochvíl, Ph.D. (08.09.2019)
Studenti v průběhu semestru vyřeší 3 domácí úkoly. Zkouška bude probíhat z větší části formou diskuze o odevzdaných řešeních, případně doplněním nebo opravením chybějících částí. Témata zkoušky budou plně pokryta materiály z přednášky poskytnutými na webu.
Literatura -
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (04.06.2018)
1. Bryan O'Sullivan, Don Stewart, and John Goerzen: Real World Haskell - Code You Can Believe In. O'Reilly, November 2008, ISBN-10: 0596514980, ISBN-13: 978-0596514983. http://book.realworldhaskell.org/read/
2. Learn You A Haskell For Great Good. http://learnyouahaskell.com/
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (04.06.2018)
1. Bryan O'Sullivan, Don Stewart, and John Goerzen: Real World Haskell - Code You Can Believe In. O'Reilly, November 2008, ISBN-10: 0596514980, ISBN-13: 978-0596514983. http://book.realworldhaskell.org/read/
2. Learn You A Haskell For Great Good. http://learnyouahaskell.com/
Sylabus -
Poslední úprava: RNDr. Miroslav Kratochvíl, Ph.D. (07.09.2020)
Typový systém Haskellu, typové třídy, Hindley-Milnerův systém, Systém Fc