Haskell中的非饱和类型族

Question

4

任何一个 GHC 的版本都支持扩展 UnsaturatedTypeFamilies 吗？

搜索 9.2.1 手册没有相关条目。

一般来说，如何查找哪个 GHC 版本支持某个扩展？

- nicolas

我认为它还没有被实现，至少在发布版中没有。我只能在提案中找到它的提及。https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0242-unsaturated-type-families.rst - chi

哦不，我以为它已经在发布计划中了（除了提案之外）...太糟糕了...我想知道现在的状态如何。如果像不可预测或确定性构建这样的话，这将永远不会在我的有生之年实现。 - nicolas

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- K. A. Buhr · Accepted Answer

请查看这里的讨论。

虽然该功能的提案已被接受作为GHC实验性特性的一部分，但目前还没有正式发布支持此扩展的GHC版本，并且在主要的GHC GitLab存储库中也没有包含它的开发分支，据我所见。由提出提案的Csongor Kiss制作的原型可以从Csongor的私人存储库分支获取：

https://gitlab.haskell.org/kcsongor/ghc/tree/master

这似乎是最新可用的实现。