Tôi mơ về một ngôn ngữ EVM mà: - có generics - có kiểu tuyến tính - có kiểu biến thể - cho phép bạn xây dựng các trừu tượng an toàn trên các tối ưu hóa cấp thấp - không đưa ra những lỗi vô lý - có công cụ FV tốt - tạo ra bytecode tốt Có phải đó là quá nhiều để yêu cầu?