Exactly! That's a feature. Rust is a step forward to a future where code is based on sound theory (type Theory) not on some ad-hoc "seems to be working" basis.

And they also stopped bringing any more advanced features, like refactoring from null to Optional for example, or reversing template method.

If we're talking about java specifically vscode and vim would just use eclipse language server which can do most of the things intellij can like refactorings and snippets. And for other languages like python ms language server is even better than pycharm for example.

The only problem with Haskell is that it's on a journey to dependent types and they haven't released new standard yet.

It's future will depend on how good that future standard will be.

Rust is becoming more popular than Haskell because It's in a different niche (no gc). Not because it's more productive to write Rust code.

Haskell is still much easier and faster to write than any other production language.

Try to compare merge function for merge sort in Haskell and in other languages.

Many think think that python already lost almost everything that it was loved for initially. So why not change it more drastically