Je rêve d'un langage EVM qui : - a des génériques - a des types linéaires - a des types variant - vous permet de construire des abstractions sûres sur des optimisations de bas niveau - ne donne pas d'erreurs absurdes - a de bons outils FV - génère un bon bytecode Est-ce trop demander ?