RFC-0：函数签名中的泛型大小数组 该RFC提议在noname中支持常量泛型，泛型参数可以从观察到的参数（如常量、数组或结构体）中解析。这将提高代码的可重用性和模块化，并且是支持具有符号大小的通用数组的先决条件。文章详细介绍了代码示例、内置示例、单态化、实现方法和单态化过程。 泛型 常量泛型 单态化 类型检查 AST MAST zksecurity 发布于 2024-10-31 1341 0 0
