2 个版本
| 0.1.1 | 2020 年 7 月 19 日 |
|---|---|
| 0.1.0 | 2020 年 7 月 19 日 |
#1475 在 Rust 模式
9KB
147 行
这是什么？
dependent-ghost 是一个库，通过 Ghosts of Departed Proofs 技术为 Rust 提供了一些依赖类型的好处。库作者可以提供具有静态检查的前置条件和不变量的 API，用户可以根据需要验证。
对于这种技术，所有荣誉都归功于原始论文的作者 Matt Noonan。
| 0.1.1 | 2020 年 7 月 19 日 |
|---|---|
| 0.1.0 | 2020 年 7 月 19 日 |
#1475 在 Rust 模式
9KB
147 行
dependent-ghost 是一个库，通过 Ghosts of Departed Proofs 技术为 Rust 提供了一些依赖类型的好处。库作者可以提供具有静态检查的前置条件和不变量的 API，用户可以根据需要验证。
对于这种技术，所有荣誉都归功于原始论文的作者 Matt Noonan。