Lambek is a library that enables type-level programming in stable Rust, supporting advanced features including higher kinded types, higher ranked types, and constraint kinds. Although Rust do not natively support these features, Lambek uses techniques including defunctionalization and CPS transformation to emulate these features in Rust.
Learn more about Lambek on the project GitHub page.
Traits for the kind of binary type application,
Traits for constraint kinds,
Traits for implementing extensible products and variants
Traits for the kind of unary type application,