User:Duplode/Five-part track mockup

Advanced Track

This section introduces wider functional programming concepts such as different data structures and type theory. It will also cover more practical topics like concurrency.

Advanced Haskell Monoids Applicative functors Foldable Traversable Arrow tutorial Understanding arrows Continuation passing style Zippers Lenses Comonads Value recursion (MonadFix) Effectful streaming Mutable objects Concurrency Template Haskell Type Families			Fun with Types Polymorphism Existentially quantified types Advanced type classes Phantom types Generalised algebraic data-types (GADT) Datatype algebra Type constructors & Kinds
Wider Theory Denotational semantics Equational reasoning Program derivation Category theory The Curry–Howard isomorphism fix and recursion		Haskell Performance Introduction Step by step examples Graph reduction Laziness Time and space profiling Strictness Algorithm complexity Data structures Parallelism		Haskell Performance Introduction Step by step examples Graph reduction Laziness Time and space profiling Strictness Algorithm complexity Data structures Parallelism