You keep talking about "philosophy of mathematics" and I'm talking about programming.
You made a specific claim that calculus was discovered but that monads are invented. Are you walking back that claim? Fine.
It just isn't useful to write programs with an arbitrary albatross around your neck because someone else is obsessed with philosophy and set theory.
I've tried to engage with you in good faith but now it appears that you're just concern trolling. The article is an educational piece about monad transformers. Nowhere is it implied that you, specifically, need to use Haskell in your work. If you can't see why monads are useful, why not ask about that?
You haven't engaged in the thing that matters: programming. You went off on tangents about philosophy and monads and set theory and pure mathematics, when my whole point is that they don't help the vast majority of programmers write programs.
Nowhere is it implied that you, specifically, need to use Haskell in your work.
I don't. I tried it and it was interesting but not useful.
If you can't see why monads are useful, why not ask about that?
My point is about the larger issue that after 30 years, people are still trying to explain step one of this language. In that time entire other languages have exploded and withered. At some point the expectations that this is healthy needs to be looked at. I like that haskell exists, but it isn't overall a good tool for making software.
You made a specific claim that calculus was discovered but that monads are invented. Are you walking back that claim? Fine.
It just isn't useful to write programs with an arbitrary albatross around your neck because someone else is obsessed with philosophy and set theory.
I've tried to engage with you in good faith but now it appears that you're just concern trolling. The article is an educational piece about monad transformers. Nowhere is it implied that you, specifically, need to use Haskell in your work. If you can't see why monads are useful, why not ask about that?