No endofunctors. No burritos. Just a explanation of Monads in concrete terms.

Feedback welcome and appreciated.

https://krishna.github.io/posts/monads-are-easy/

#programming #monad

Monads are Easy

Monads don't have to be mysterious. Using a book warehouse analogy, this post explains what a monad is, what flatMap does, and how to spot one in the wild.

Krishna's Blog
Categorical transformers

Categorical transformers

Marcoshplace
Why the Monad Allowed the Demiurge to Create This World – The Hidden Reason

YouTube

First compiling example of my new `category-transformers` toy project

https://codeberg.org/marcosh/category-transformers/src/branch/main/examples/Control/Category/Example/MonadTransformerExample.hs

I'm basically rebuilding monad transformers, but in a complete categorical style (no monads, just categories all the way)

Sorry, no documentation for now... a blog post is on its way

#haskell #categorytheory #monad

category-transformers/examples/Control/Category/Example/MonadTransformerExample.hs at main

category-transformers - Category transformers

Codeberg.org

@vmbrasseur #3 is the only correct answer, because it isn't a monad unless the unit function (η : a → B a) is fully polymorphic.

#monad #burrito #silly

cc @byorgey let me know if I should stoo copying you on these

Nunca le hago caso a los airdrops crypto porque nunca llego a alcanzarlos. Pero hoy de la nada me llego un airdrops de la criptomoneda #monad. Supongo que lo recibí justamente porque es la #blockchain qué más ando usando ahorita. Bueno fue un buen dinerito gratis
The REAL God Behind Christianity | The Monad Decoded

YouTube
@bobkonf This #monad cracked a hard problem 😉. Plus, I love the look of his #presentation. I will definitely try out https://slipshow.org on the next occasion. #slipshow #notpowerpoint
Slipshow

The Monad: The Hidden Exit From the Demiurge’s Reality

YouTube