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