Smalltalk

Why good OOP programming languages like Smalltalk are forgotten, and shit ones like C++ and Java are everywhere?

the fact that it's unclear what a list represents is an advantage, because you yourself are unclear about what type of program you're trying to write. The most important thing is not to constrain the evolution of your ideas.
That might be true but I think you're mistaking indecision and lack of formal structure with a range of freedom.  The actual creative benefit of starting from a Spartan environment is not always fully utilized because the programmer has already limited his own program by speculating about it.  On the other hand, if you can provide a more quantitative explanation of this advantage I'd be interested in hearing it.