Ich träume von einer EVM-Sprache, die: - Generika hat - lineare Typen hat - Variantentypen hat - es dir ermöglicht, sichere Abstraktionen über Low-Level-Optimierungen zu erstellen - keine sinnlosen Fehler ausgibt - gute FV-Tools hat - guten Bytecode generiert Ist das zu viel verlangt?