Sogno di un linguaggio EVM che: - abbia generici - abbia tipi lineari - abbia tipi varianti - ti permetta di costruire astrazioni sicure su ottimizzazioni a basso livello - non dia errori inutili - abbia buoni strumenti FV - generi buon bytecode È chiedere troppo?