当前位置:  开发笔记 > 编程语言 > 正文

是否有一个更简单的类型系统与CoC的实用工具?

如何解决《是否有一个更简单的类型系统与CoC的实用工具?》经验,为你挑选了0个好方法。
如何解决《是否有一个更简单的类型系统与CoC的实用工具?》经验,为你挑选了0个好方法。

在更简单,更简单的帖子中提出的构造微积分是一个非常简单的类型系统,可以用作编程语言,具有您期望的所有良好属性 - 类型检查,正确性证明,总体性.然而,考虑到Pi和Lam之间的相似性,以及使用Occam的Razor,我想知道:是否有一个比CoC更简单的系统,以及所有这些实用工具?

推荐阅读
吻过彩虹的脸_378
这个屌丝很懒,什么也没留下!
DevBox开发工具箱 | 专业的在线开发工具网站    京公网安备 11010802040832号  |  京ICP备19059560号-6
Copyright © 1998 - 2020 DevBox.CN. All Rights Reserved devBox.cn 开发工具箱 版权所有