Eu sonho com uma linguagem EVM que: - tenha generics - tenha tipos lineares - tenha tipos variantes - permita construir abstrações seguras sobre otimizações de baixo nível - não dê erros sem sentido - tenha boas ferramentas de FV - gere um bom bytecode É pedir demais?