Mai*_*tor 7 haskell types type-systems functional-programming
在更简单,更简单的帖子中提出的构造微积分是一个非常简单的类型系统,可以用作编程语言,具有您期望的所有良好属性 - 类型检查,正确性证明,总体性.然而,考虑到Pi和Lam之间的相似性,以及使用Occam的Razor,我想知道:是否有一个比CoC更简单的系统,以及所有这些实用工具？
| 归档时间： |
|
| 查看次数： |
123 次 |
| 最近记录： |