Haskell FlexibleInstancesは言語の安定した拡張機能ですか？

Question

HaskellのFlexibleInstancesにはどのような問題がありますか？なぜ彼らはHaskell 2010に含まれていないのですか？ FlexibleInstancesの実装は、標準に含めるだけでは不安定か、FlexibleInstancesに関連する深い懸念がありますか？それらを使用するのは安全ですか？彼らはおそらくハスケルプライムに含まれるだろうか？

Answer 1

安全に使用できますか？

はい。 GHCが型クラスを解決する必要がある場合、FlexibleInstancesはあいまいまたは重複する状況を作成しません。インスタンスの重複の可能性はありますが、エラーではありませんが、型チェック中に実際に混乱する使用法はエラーになります。

ハスケルプライムに含まれる可能性はありますか？

私は考えていませんが、私はHaskell Primeの一部ではありません。 gmaneにアーカイブされたメーリングリストがあります。これを追跡しているチケットはnumber 32です。