Haskell FlexibleInstances是語言的穩定擴展嗎？

Question

什麼是在Haskell FlexibleInstances問題？爲什麼他們不包含在Haskell 2010中？ FlexibleInstances的實現是否不夠穩定，無法包含到標準中，還是與FlexibleInstances有關的更深層次的問題？使用它們是否安全？他們可能會被包含在Haskell Prime中嗎？

Answer 1

是可以安全使用呢？

是的。當GHC需要解析類型類時，FlexibleInstances不會產生模糊或重疊的情況。請注意，實例重疊的可能性並不是錯誤，但在類型檢查期間任何實際混淆的用法都是錯誤的。

將它們有可能被包含在Haskell的總理？

我不知道，我不是Haskell Prime的一部分。有一個郵件列表，存檔在gmane。跟蹤這張票的票是number 32。