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
Replying to
I found the Wikipedia article pretty inscrutable until I already understood.
You're totally right on the "why" front.
Replying to
this is a bit better but I still keep asking "why do all this in such a convoluted way?"
1
Yeah, I get that. I don't think the convolution justifies itself most of the time.
1
Show replies
Replying to
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
Show replies