This page collects various resources related to a YOW Lambda Jam talk I am giving on cofree comonads.

The talk

• The slides
• The code
• The video

Posts

I’ve written some blog posts corresponding to the content of the talk:

• Free monads for DSL, cofree comonads for interpreters
  • A whirlwind tour of comonads
• Monad transformers and comonad transformers
• Coproducts for free and products for cofree
• Pairing and IO
• Pairing over the network

Coming soon:

• Coproducts revisited
• Coproducts over the network

Links

Pairing

The pairing trick from my talk has been described before, by

• Ed Kmett
• Dan Piponi.

Free monads

• Why free monads matter
• Purify code using free monads

Comonads

• Comonads are objects

The combination of comonads and monads

• Transforming a comonad with a monad
• Monads from comonads
• Monad transformers from comonads

Coproducts

• Data types a la carte
• Breaking things down even further

Site proudly generated by Hakyll

This work is licensed under a Creative Commons Attribution 4.0 International License