Я мрію про мову EVM, яка: - має дженерики - має лінійні типи - має варіанти типів - давайте вам створювати безпечні абстракції замість низькорівневих оптимізацій - не видає дурниць помилок - має хороше оснащення FV - генерує хороший байт-код Чи це занадто багато, щоб запитувати?