Never thought i would be posting on monads, but searching thru internet i found that almost everyone has an opinion on what monads are. So why not have my own (well, because i can and i can post it). Here comes an obligatory post :)
A few links for reference:
- http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html
- https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem
- https://github.com/hmemcpy/milewski-ctfp-pdf
- https://www.youtube.com/watch?v=iwvl0tBJhoM
- https://plato.stanford.edu/entries/compositionality/
- https://julesh.com/2017/04/22/on-compositionality/
- https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/
- https://blog.plover.com/prog/burritos.html
- https://blog.merovius.de/2018/01/08/monads-are-just-monoids.html
Nice write up on functional programming:
- Monads are Elephants, Part 1
- Monads are Elephants, Part 2
- Monads are Elephants, Part 3
- Monads are Elephants, Part 4
concurrency in .net, chapter 7, keeping theory & opinions aside, topic about parallel functional pipeline pattern 7.6 is quite a nice practical usage of this. I like links about functors, applicatives & monads below as well, they are very informative and help visualize how to think about this.
From a programmer’s perspective: