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
…and attempts to reconcile them become incomprehensibly complex and inflexible
1
Replying to
Replying to
I like the idea of copying as one means of enforcing ownership
Replying to
which implies reference is an implicit (and dangerous) form of permissions
Replying to
in that sense pass by refs could be seen too generous wrt writes while copying is too generous wrt reads
1