我梦想有一种 EVM 语言: - 具有泛型 - 具有线性类型 - 具有变体类型 - 允许你在低级优化上构建安全的抽象 - 不会给出无意义的错误 - 具有良好的 FV 工具 - 生成良好的字节码 这要求太多了吗?
6.77K