When learning higher-order concepts like monad/arrow, how much of the learning complexity is essential vs incidental?
Conversation
do you feel this article does a good job of explaining them? en.m.wikipedia.org/wiki/Monad_%28
1
the problem I have with that and the one you ref is the whole time I'm thinking "why?" and the question is never answered.
2
1
I found the Wikipedia article pretty inscrutable until I already understood.
You're totally right on the "why" front.
2
I guess answer is advanced type checks but it seems the result is a program that *only* a computer can check.
1
1
I feel like a poor trade off calculation is being done here, at least for most uses.
1
Replying to
I don't think I disagree.
Replying to
It would be good to see a blog post from you that elaborated on why devs should avoid FP.
1
Think we're talking past each other here. FP is a set which contains monads. Agree that latter sometimes make wrong tradeoffs.
1
Show replies