Haskell FlexibleInstances是该语言的稳定扩展吗？

Question

Haskell中的FlexibleInstances有什么问题？为什么他们不包含在Haskell 2010中？ FlexInstances的实现是不是足够稳定以包含在标准中，还是与FlexibleInstances相关的更深层次的问题？使用它们是否安全？他们可能会被纳入Haskell Prime吗？

Answer 1

  

使用它们是否安全？

是。当GHC需要解析类型类时，FlexibleInstances不会产生模糊或重叠的情况。请注意，实例重叠的可能性是可能的，而不是错误，但在类型检查期间任何实际的混淆使用都将是错误。

  

他们是否可能被纳入Haskell Prime？

我不知道，我不属于Haskell Prime。有一个邮件列表，存档于gmane。跟踪此票证的是number 32。