haskell - ScopedTypeVariables の欠点

Question

の欠点ScopedTypeVariablesは何ですか? デフォルトでオンになっていないのはなぜですか？それはより悪い推論につながりますか？失敗するエッジケースはありますか? GHCで実装するのはかなり難しいですか?

Answer 1

他のすべての拡張機能がデフォルトでオンになっていないのと同じ理由で、デフォルトではオンになっていません。Haskell 標準の一部ではありません。

augustss が言ったように、これには型チェッカーでより多くのロジックが必要ですが、それを面倒だと考える人はいないと思います。