Slidy a videa budeme nahrávat postupně a ne v pevnou dobu. Pokusíme se však dodržet týdenní interval. Zajímá-li vás nějaké téma, jehož slajdy dosud nejsou nahrány, můžete se porozhlédnout v loňských materiálech.
Seminář z funkcionálního programování
Materiály ze cvičení
Informace
Cvičení 1
Pokročilá syntaxe, Either, funktory
Hoogle (Haskell API search)
Vyhledávač funkcí a modulů podle názvu, typu, popisu
Learn You a Haskell for Great Good!
Výtečná učebnice Haskellu od základů až po monády
Sbírka, všechny kapitoly
Sbírka příkladů pro IB015 Neimperativní programování
Cvičení 2
Monády, aplikativní funktory
Cvičení 3
Parsec
První velký domácí úkol
Parser. Informace jsou v samostatné podosnově.
Cvičení 4
Vyhodnocovací strategie
Cvičení 5
QuickCheck
Záznam k 5. cvičení (IS)
Může být zapotřebí video otevřít mimo prohlížeč (kodek H.265)
Cvičení 6
Semigroup, Monoid, Foldable, Traversable
Cvičení 7
Čočky (lenses) a jiná optika
Cvičení 8
Pokročilejší I/O, výjimky
Druhý velký domácí úkol
Jednoduchý nástroj pro práci se souborovým systémem. Informace jsou v samostatné podosnově.
Cvičení 9
Zippers, řetězce, rozšíření GHC
Cvičení 10
Reader, Writer, State
Cvičení 11
Transformátory monád (ReaderT, WriterT, StateT, ExceptT)