do you feel this article does a good job of explaining them? en.m.wikipedia.org/wiki/Monad_%28
Conversation
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
I don't think I disagree.
1
2
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
But I *do* think that many FP practices (i.e. writing pure+total functions which are readily composed) make great tradeoffs.
3
This is where I'm confused. When we discuss in person, even the simplest of examples you admit FP is a problem.
1
1
Replying to
Hm. Maybe we should discuss again in person? :)
I bet you and I mean different things when we say "FP."