我夢想有一種 EVM 語言: - 具有泛型 - 具有線性類型 - 具有變體類型 - 允許你在低級優化上構建安全的抽象 - 不會給出無意義的錯誤 - 具有良好的 FV 工具 - 生成良好的字節碼 這要求太多了嗎?
4.83K