Tyrade：Rust中用于类型级编程的纯函数式语言 Tyrade是一种概念验证语言，显示了Rust特征如何实现通用类型级别的编程模型。其目的是表明可以对有用的任务（而不是编写图灵机）进行类型级编程，并且可以以合理的方式编写程序。语言是这样的： tyrade! { enum TNum { Z, S (TNum) } fn TAdd () { match N1 { Z => N2, S (N3) => TAdd (N3, S