Являются ли Haskell FlexibleInstances устойчивым расширением языка?

В чем проблема с FlexibleInstances в Haskell? Почему они не включены в Haskell 2010? Были ли реализации FlexibleInstances просто недостаточно стабильны для включения в стандарт или более глубокие проблемы, связанные с FlexibleInstances? Безопасно ли их использовать? Скорее всего, они будут включены в Haskell Prime?

Ответы

Ответ 1

Безопасно ли их использовать?

Да. FlexibleInstances не создаст неоднозначную или перекрывающуюся ситуацию, когда GHC необходимо разрешить классы классов. Обратите внимание, что возможность перекрытия экземпляров возможна, а не ошибка, но любое фактическое запутанное использование при проверке типов будет ошибкой.

Возможно, они будут включены в Haskell Prime?

Я понятия не имею, я не являюсь частью Haskell Prime. Существует список рассылки, архивированный в gmane. Отслеживание билета это номер 32.