1 个不稳定版本
| 0.1.0 | 2021 年 10 月 31 日 |
|---|
#2494 在 Rust 模式
20KB
385 行
Mononym
Mononym 是一个用于为 Rust 中的每个值创建唯一类型级别名称的库。核心类型 Named<Name, T> 表示具有唯一类型 Name 的类型 T 的命名值。Mononym 保证没有两个值具有相同的名称。因此，Name 类型充当 Rust 值在类型级别的唯一表示。
Mononym 允许在 Rust 中使用设计模式 已故证明的鬼魂。它提供了简化 Rust 中 依赖对 和证明对象的宏。尽管 Rust 中对完全依赖类型编程的支持仍然有限，但 Mononym 通过使能够在类型中引用值，帮助我们朝着这个方向迈出小小的一步。
实现细节
示例
以下是一些正在进行的示例 sneak peek。对于示例文档的缺失，我们表示歉意。将会有深入的教程，通过示例代码，指导读者如何使用 mononym 定义证明。