Saya memimpikan bahasa EVM yang: - memiliki generik - memiliki tipe linier - memiliki jenis varian - memungkinkan Anda membangun abstraksi yang aman di atas pengoptimalan tingkat rendah - tidak memberikan kesalahan omong kosong - memiliki perkakas FV yang baik - menghasilkan bytecode yang baik Apakah itu terlalu banyak untuk diminta?