undecidable-instances

4熱

3答えて

undecidableインスタンスは実際にコンパイラをハングアップさせることができますか？

私が最初に深刻なcriticism on -XUndecidableInstancesを読む時までに、私はすでにそれに完全に慣れていました。それは単にという迷惑な制限の削除であると見なされます。Haskell98はコンパイラの実装を容易にする必要があります。。実際、私は、決定不能なインスタンスが必要だったアプリケーションがたくさん出てきましたが、実際にはそれらがundecidabilityに関係