文件名称：lambek:Rust中的类型级编程
文件大小：14KB
文件格式：ZIP
更新时间：2024-04-14 22:30:13
Rust
Lambek：Rust中的类型级编程 Lambek是一个库，可在稳定的Rust中启用类型级别的编程，并支持高级功能，包括更高种类的类型，更高等级的类型和约束类型。 尽管Rust本身并不支持这些功能，但Lambek使用包括去功能化和CPS转换在内的技术来在Rust中模拟这些功能。 Lambek目前处于早期开发阶段。 Lambek中介绍的技术来自作者开发的经验。
【文件预览】：
lambek-master
----.gitignore(8B)
----clippy.toml(0B)
----src()
--------functor.rs(726B)
--------nat_trans.rs(187B)
--------product.rs(2KB)
--------bi_type_app.rs(1KB)
--------type_app.rs(4KB)
--------constraint.rs(171B)
--------row.rs(2KB)
--------test()
--------sum.rs(2KB)
--------lib.rs(1010B)
----Cargo.lock(137B)
----LICENSE(11KB)
----Cargo.toml(332B)
----.github()
--------workflows()
----README.md(571B)
----rustfmt.toml(333B)