"Partly it's because I'd like more help from my programming tools, such as static type checking, better handling of abstractions" As soon as I read that, I kno

"Partly it's because I'd like more help from my programming tools, such as static type checking, better handling of abstractions" As soon as I read that, I know immediately that I'm dealing with an object-oriented programmer. Always the same gripes, always the same problems! Your programming paradigm is busted and no language will ever be able to change that, no matter what lexicography and grammar it implements! There is a reason why procedural or functional programmers don't complain about those types of issues!