I think you are onto something. I'm a small brained primate.
When I read "A monad is just a monoid in the category of endofunctors, what's the problem?" I feel that someone thinks they are being clever by being confusing and unhelpful.
But when I read "Quit using doubly linked lists or the borrow checker will beat you senseless." I feel like someones trying to be helpful.
Its confusing because that's the mathematical definition of a monad that you need to know category theory to fully understand. In haskell a monad is just a way to run some effects sequentially, it's actually really basic stuff that every programmer already has an intuition for.
What's the evidence Haskell has died?
It seems to me that a fad has passed. The language is doing well. But the pretentious hipsters have moved on to their next obsession.
Rust? Well, talk about hip and groovy blah blah. About as great as C++. Full of complicated features, all pretty much focused on nitpicking, not expressivity. Could become hipster stuff for small projects.
Enterprise? It's missing the point. There's no Machine Learning, no UI tools, no communications abstraction, no nothing. Just storage allocation without garbage collection.
Haskell will remain solid, but used by its aficionados. Rust will die as a niche language, and C/C++, sadly, will continue to dominate the low level coding, for better or for worse.
Python and JavaScript will fill the UI centric space of Enterprise, with Python largely owning data centric stuff, and JS owning phone/tablet UX.
> Rust? Well, talk about hip and groovy blah blah. About as great as C++.
I hope Rust winds up as "great" as C++ in terms of popularity.
I don't need "web/crud enterprise" (there are a zillion languages for that) with it's infinite tower of abstractions, but I do need "embedded enterprise". And I'm really desperate for a language better than C for that.
> And I'm really desperate for a language better than C for that.
I got introduced at it with Turbo C++ 1.0 for MS-DOS in 1993, never cared for C ever since, other than when not given any other alternative to chose from.
"A monad is just a monoid in the category of endofunctors, what's the problem?" is a joke about how the Haskell community often forgets not everyone has a PhD in category theory. It's not a real thing Haskell programmers tell people, in my experience.
When I read "A monad is just a monoid in the category of endofunctors, what's the problem?" I feel that someone thinks they are being clever by being confusing and unhelpful.
But when I read "Quit using doubly linked lists or the borrow checker will beat you senseless." I feel like someones trying to be helpful.