Syd*_*ove 3 haskell types type-systems language-design
让我们以Haskell为例,因为它最接近我将要描述的语言.
Int例如,类型可以被视为所有可能值(该类型)的集合.为什么我们只能使用非常具体的设置呢？
Int,Double等等......而不是类型系统中的所有子集.
我想要一种我们可以定义任意类型的语言Int greater than 5.有这样的语言的例子吗？如果没有,为什么不呢？
您正在寻找依赖类型.Idris,Agda和Coq在这一类别中是众所周知的.
| 归档时间： |
|
| 查看次数： |
275 次 |
| 最近记录： |