Ik droom van een EVM-taal die: - generics heeft - lineaire types heeft - variant types heeft - je in staat stelt veilige abstracties te bouwen bovenop low-level optimalisaties - geen onzinnige fouten geeft - goede FV-tools heeft - goede bytecode genereert Is dat te veel gevraagd?