Marzę o języku EVM, który: - ma generyki - ma typy liniowe - ma typy wariantowe - pozwala na budowanie bezpiecznych abstrakcji nad optymalizacjami niskiego poziomu - nie generuje bzdurnych błędów - ma dobre narzędzia FV - generuje dobry bajtkod Czy to za dużo, żeby prosić?