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
- Monády, State, Monádové transformery
- Přehled vnitřního fungování Haskellových programů v GHC: Core, STG, thunky, WHNF, seq, kompilace, modularizace
- Standardní knihovna pro IO
- Standardní kontejnery, Text a ByteString
- Spojení s UNIXem, optparse
- Parsovací kombinátory, parsec
- Paralelizace, STM, paralelní frameworky
- Serverové aplikace -- Scotty, Yesod, Servant
- Lens-ová knihovna, Prism, Iso, Traversal
- Přehled některých líných datových struktur: Finger-konstrukce, lazy fronty, ...
- Jednoduchý grafický výstup: Gloss, JuicyPixels
- Testování: HSpec, Quickcheck, Criterion
Poslední úprava: RNDr. Miroslav Kratochvíl, Ph.D. (07.09.2020)
- Haskell type system, typeclasses, Hindley-Milner system, System Fc
- Monads, State, Monad transformers
- Haskell programs from inside in GHC: Core, STG, thunks, WHNF, seq, compilation, modularization
- Standard containers, Text and ByteString
- Connection to UNIX, optparse
- Parsing combinators, parsec
- Parallelism, STM, parallel frameworks
- Server applications -- Scotty, Yesod, Servant
- Lens library, Prism, Iso, Traversal
- Overview of several lazy data structures: Finger construction, lazy queues, ...
- Simple graphical output: Gloss, JuicyPixels
- Testing: HSpec, Quickcheck, Criterion
|