[AnimalMuppet]

What do you see as the difference between C++ and Java that lets C++ be less miserable?

[ncmncm]

The type system in C++ as in Haskell, and to lesser degree Rust, is not just for checking arguments. It can do useful work, and routinely does in better libraries.