Являются ли Haskell FlexibleInstances стабильным расширением языка?

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

Источник

1 ответ

Решение

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

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

Будут ли они включены в Haskell Prime?

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

Источник
Другие вопросы по тегам