![]() |
1
0
现在,我从你那里得到了一些想法 dependent haskell 在GHC维基上。 我们现在可以将一种类型传递给类型构造函数,就像我们可以将一种类型传递给数据构造函数一样(我们仍然需要传递一个单例,而不是类型本身)。
在这份声明中
您不能在GHC 8.8.4中直接写入此类型签名,但可以使用
更新(2021/9/30) : 这被称为可视依赖量化。你可以在网站上找到一个很好的解释 Visible dependent quantification in Haskell . |