Skip to content

Instantly share code, notes, and snippets.

@etorreborre
Last active June 23, 2016 03:22
  • Star 3 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save etorreborre/98feda0f1c6d14e7a3be to your computer and use it in GitHub Desktop.
Lawvere theories and effects
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories andMonads:
- http://www.pps.univ-paris-diderot.fr/~mellies/mpri/mpri-ens/articles/hyland-power-lawvere-theories-and-monads.pdf
- interesting for the historical part on how both concepts were developed
Just do it: simple monadic equational reasoning
- http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mr.pdf
- laws for effects
Lawvere theories made a bit easier
- http://blog.sigfpe.com/2012/02/lawvere-theories-made-bit-easier.html
- Dan Piponi tries to make it more approachable for the rest of us
Using Lawvere theories to combine effects
- http://blog.sigfpe.com/2012/02/using-lawvere-theories-to-combine.html
- Dan Piponi tries to make it more approachable for the rest of us (part 2)
Extensible effects
- https://www.cs.indiana.edu/~sabry/papers/exteff.pdf
- if you haven't read this one. Contains some clear examples of where monad transformers < effect handlers
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment