Introduction to Haskell
- Platform & tools
- The bit of history
Haskell _syntax
- Functions
- Case distinction & pattern matching
- Layout
- Control structures
Type _system
- Basic_types
- Simple function _types
- Polymorphism
- Higher order functions
- Numbers in The Haskell
- o Type _classes
Building Of programs
- I/O handling
- Module _system
- Packages & libraries
- Compiling Of applications
Examples & case studies
- Eight queens puzzle in the Haskell
- Dynamic the programming and memoization in Haskell
- Simplified the parsing of CSV files
- The HTTP client
The Basic Typeclassopedia
- Functor
- Applicative
- Foldable & Traversable
- Monads
- Other
Advanced_ types
- The Algebraic data types in depth
- Advanced Type- classes
- Type -families
- GADTs
Debugging & code optimizing
- Strictness in the data types and functions
- Memory and CPU profiling
- The Efficient data structures
- Note on “unsafes”
Understanding Runtime System
- The Memory layout in GHC
- Un-packing strict fields
- Understanding & reading Core
Concurrency in Haskell
- Haskell threads
- MVars & co.
- STM
- Parallelism
Foreign Function Interface
- FFI _basics
- Safe v/s. unsafe
- Globals in the Haskell
Template_Haskell
- Splicing & quotation
- Q monad
- Reification
