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

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

26 голосов
/ 03 декабря 2011

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

1 Ответ

21 голосов
/ 03 декабря 2011

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

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

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

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

...