Morpheus
@mangolover4evr
Anyone else developing on monad 👀
3 replies
1 recast
19 reactions
alixkun🟣🎩🍡
@alixkun
👋 👋 👋 Need anything? :)
0 reply
0 recast
1 reaction
Bug
@sudobug
@flap
0 reply
0 recast
1 reaction
Mike Wilson
@lifesizebox
I had to ask GPT to tell me more. Very interesting… Thanks for sharing! For those like me who don’t code: A monad is a concept from category theory in mathematics that has been widely adopted in functional programming, especially in Haskell and other functional languages. It provides a way to structure computations, particularly those involving side effects, in a purely functional way. Monad in Category Theory In category theory, a monad consists of: 1. A functor T that maps a category to itself. 2. A unit function \eta that lifts values into the monad. 3. A bind (or join) function \mu that allows for chaining computations while preserving structure. These must satisfy associativity and identity laws, ensuring predictable composition.
0 reply
0 recast
0 reaction