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

scr*_*avy 26 haskell ghc

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

Chr*_*icz 21

使用它们是否安全?

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

他们可能会被纳入Haskell Prime吗?

我不知道,我不是Haskell Prime的一部分.有一个邮件列表,存档于gmane.跟踪此票的是32号.