主要观点：

• 柯里化是一种函数式编程技术，可部分应用函数参数并返回新函数，Rust 中用于提高函数性能。
• 常量泛型可将常量作为类型参数，函数会在编译时针对每个传入的常量值进行单态化，利于编译器优化。
• 实际场景中可能需在运行时配置参数，此时无法利用常量泛型的性能优势。
• 可手动创建带常量参数和运行时参数的函数版本，或使用const-currying宏生成代码。
• const-currying宏虽可生成优化代码，但可能增加二进制大小，需先进行性能分析。
• 提出关键字泛型的想法，编译器应能为传入的常量值元组生成函数版本。
• 猜测可通过 JIT 或 AOT 编译器进行自动优化。

关键信息：

• Rust 中通过#[inline(never)]防止函数内联，展示带常量泛型和不带常量泛型的函数生成的汇编代码对比。
• 手动创建的like_ct和like_rt函数及like调度函数示例。
• const-currying宏生成的代码结构及示例。
• 关于const-currying宏性能提升的基准测试结果。

重要细节：

• 目前 Rust 版本中只有基本类型可作为常量参数，直到adt_const_params特性稳定。
• const-currying宏可解决手动创建多个函数版本的问题，减少错误和维护成本。
• 强调“没有银弹”原则，使用宏需先进行性能分析。
• 提及关键字泛型的想法及可能的语法形式。
• 猜测 JIT 或 AOT 编译器可进行自动优化。