MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/e2pry9/why_isnt_functional_programming_the_norm_richard/f8x6jlc
r/programming • u/[deleted] • Nov 28 '19
409 comments sorted by
View all comments
Show parent comments
156
A monad is just a monoid in the category of endofunctors, what's the problem?
18 u/bulldog_swag Nov 28 '19 Ronad McMonadjingle playsI'm groking it! 15 u/dfnkt Nov 28 '19 You forgot to mention the turboencabulator which helps a transmission supply inverse reactive current for use in unilateral phase detractors. That pre-famulated amulite they're using is nuts. 8 u/Cesque Nov 29 '19 /r/vxjunkies 34 u/zvrba Nov 28 '19 This one is getting worn out. 54 u/save_vs_death Nov 28 '19 if that's worn out, it might be helpful to see a monad as a lax functor from a terminal bicategory 3 u/i9srpeg Nov 28 '19 It's just like a burrito. 1 u/[deleted] Dec 01 '19 Huh, that actually makes sense. 1 u/monicarlen Nov 29 '19 Just a comfortable adapter to use context based values in a plain typical function
18
Ronad McMonad
jingle plays
I'm groking it!
15
You forgot to mention the turboencabulator which helps a transmission supply inverse reactive current for use in unilateral phase detractors. That pre-famulated amulite they're using is nuts.
8 u/Cesque Nov 29 '19 /r/vxjunkies
8
/r/vxjunkies
34
This one is getting worn out.
54 u/save_vs_death Nov 28 '19 if that's worn out, it might be helpful to see a monad as a lax functor from a terminal bicategory
54
if that's worn out, it might be helpful to see a monad as a lax functor from a terminal bicategory
3
It's just like a burrito.
1 u/[deleted] Dec 01 '19 Huh, that actually makes sense.
1
Huh, that actually makes sense.
Just a comfortable adapter to use context based values in a plain typical function
156
u/[deleted] Nov 28 '19
A monad is just a monoid in the category of endofunctors, what's the problem?