Coot's Functional Programming Blog

• Build haddock documentation of a cabal project
• A remark on lazy ST monad and MonadFix instance for IOSim
• Typed Protocols @ Haskell Love
• Strictness of foldr' from containers package
• Haddock: better support for multiple components
• Pipelining in Typed Protocols
• Masking Asynchronous Exceptions
• Ghc Tags Plugin
• Monoidal and Applicative Functors
• Why Monadic IO?
• Categories with Monadic Effects and State Machines
• Kleisli categories and free monads
• Composing cofree interpreters
• Monadicity
• Free algebras
• From free algebras to free monads
• Typed Transitions, Finite State Machines and Free Categories
• Workshop on Category Theory
• Routing with cofree comonad
• Peano Algebras in Haskell