兰贝克：Rust 中的类型级别编程

兰贝克是一个库，它使得在稳定的 Rust 中进行类型级别编程成为可能，支持包括高阶类型、高阶类型和约束类型的高级特性。尽管 Rust 本身不支持这些特性，但兰贝克使用包括去函数化技术和 CPS 转换等技术在 Rust 中模拟这些特性。

兰贝克目前处于 早期开发 阶段。兰贝克中展示的技术来自作者在开发 Ferrite 的经验。