index.md

Search engine

• hoogle
• hoogle (FP Complete)
• hayoo

Book

• Real World Haskell (RWH)
• Learn You a Haskell for Great Good!(LYAH)

Monad

• All about monads
• Monadic parser combinators
• A monad non-tutorial
• Haskell Monad Tutorial
• Haskell/Monad transformers

Category theory

• Category theory presentation
• Motivating Category Theory for Haskell for Non-mathematicians
• Flipping arrows in coBurger King
• Understanding Yoneda
• Reverse Engineering Machines with the Yoneda Lemma
• Profunctors in Haskell
• Category theory for Haskell programmers
• What does “coalgebra” mean in the context of programming?
• Catamorphism

Recursion Schemes

• Program Reduction: A Win for Recursion Schemes
• Monadic Recursion Schemes

Functional reactive programming

• Functional Reactive Programming
• Yampa

Lense & Semantic editor combinators

• Semantic editor combinators
• Lenses, Folds, and Traversals
• Lenses In Pictures

Generalized algebraic data type (GADT)

• Generalized algebraic data type
• Haskell/GADT
• Generalised algebraic datatype
• GADTs

Haskell project APIs

• Hakyll
• xmonad
• xmonad-contrib
• reactive-banana
• vty-ui
• parsec

Hackage

• Fix your Hackage documentation
• Generate and upload docs for hackage packages

Go over

• What I Wish I Knew When Learning Haskell 2.0
• Typeclassopedia
• Write Yourself a Scheme in 48 Hours
• Implementing a JIT Compiled Language with Haskell and LLVM

Exercise

• 1 Haskell A Day exercises
• H-99: Ninety-Nine Haskell Problems
• ICFP Programming Contest
• exercism.io
• Project Euler
• 20 Intermediate Haskell Exercises

Other collections

• Quchen's articles
• Haskell Notes And Examples - Albert Y. C. Lai

Misc

• GHC/TypedHoles
• Fold
• Monomorphism restriction
• Memoization
• The Algebra of Algebraic Data Types
• Performance/Strictness
• Church Numerals
• Functor-Applicative-Monad Proposal (AMP)
• Finger Trees Done Right (I hope)
• Comonadic Life
• parsec