В чем проблема с FlexibleInstances в Haskell? Почему они не включены в Haskell 2010? Были ли реализации FlexibleInstances просто недостаточно стабильны для включения в стандарт или более глубокие проблемы, связанные с FlexibleInstances? Безопасно ли их использовать? Скорее всего, они будут включены в Haskell Prime?
Являются ли Haskell FlexibleInstances устойчивым расширением языка?
Ответ 1
Безопасно ли их использовать?
Да. FlexibleInstances не создаст неоднозначную или перекрывающуюся ситуацию, когда GHC необходимо разрешить классы классов. Обратите внимание, что возможность перекрытия экземпляров возможна, а не ошибка, но любое фактическое запутанное использование при проверке типов будет ошибкой.
Возможно, они будут включены в Haskell Prime?
Я понятия не имею, я не являюсь частью Haskell Prime. Существует список рассылки, архивированный в gmane. Отслеживание билета это номер 32.