文件名称：SKITypes:在Haskell类型系统中实现SKI组合器演算
文件大小：2KB
文件格式：ZIP
更新时间：2024-05-30 13:25:26
Haskell
SKI类型 在Haskell类型系统中实现 是在Haskell的类型系统中实现图灵完备的编程语言的实验。 这个想法是在x和y这两种类型之间创建函数依赖关系，以使x减少到y 。 如果x和y由SKI组合器组成，并且归约规则是SKI组合器演算的规则，那么当将x -> y应用于函数的值时，应该能够通过对类型x -> y的函数进行类型检查来“计算” y 。输入x 。 这基本上就是所做的！ 是SKI在值级别上的实现。 您可以比较这两种简化，以了解它们如何遵循相同的逻辑。
【文件预览】：
SKITypes-master
----skiType.hs(2KB)
----README.md(972B)
----skiValue.hs(982B)