Log*_*ins 4 haskell types functional-programming
在Haskell中,种类(类型)允许一些有用的东西,比如类型构造函数.我的问题是,对于各种类型(类型的类型)是否会有任何好处,或者他们可以做什么,只有种类和类型不能轻易完成？
phi*_*ler 6
Ωmega一直在排序.基本上,据称无限种类层次结构与适当的GADT一样强大,与依赖类型一样强大.
此外,当试图出来的东西使用DataKinds, PolyKinds之类的,我有时会感到有些由类型构造怎么都提升到一种构造,或解除种无法约束(即,没有约束的一种类).Ωmega似乎解决了很多这些限制 - 不幸的是,通常情况下,以成为一种更具学术性的语言为代价.但是我仍然发现与"真正的"依赖类型语言(如Agda和Coq)相比,它更容易阅读(尽管至少Agda 确实具有无限的分类层次).也许那是因为Ωmega更适合Haskell心态.
DataKinds
PolyKinds
归档时间：
12 年，6 月 前
查看次数：
150 次
最近记录：