Compiler and language specification

I appreciate your opinion, but things you’re talking about are arguable and completely irrelevant to the topic of this thread. If you want to have a discussion about usefulness of optimizing compilers and how static typing is not a question of being capable or not, but really a question of applicability of static typing as a tool to solve problems, we can create a separate thread or continue in private messages.