Eu sonho com uma linguagem EVM que: - tem genéricos - tem tipos lineares - tem tipos de variantes - permite que você crie abstrações seguras em otimizações de baixo nível - não dá erros de merda - tem boas ferramentas FV - gera um bom bytecode Isso é pedir muito?