Haskell FlexibleInstances는 언어에 대한 안정적인 확장 기능입니까?

Question

하스켈에서 FlexibleInstances의 문제점은 무엇입니까? 하스켈 2010에 포함되지 않는 이유는 무엇입니까? FlexibleInstances의 구현이 단순히 표준에 포함될만큼 안정적이지 않거나 FlexibleInstances와 관련된 더 깊은 관심이 있습니까? 그들을 사용하는 것이 안전합니까? 그들은 Haskell Prime에 포함될 가능성이 있습니까?

Answer 1

안전하게 사용해도 되나요?

예. GHC가 타입 클래스를 해결할 필요가있을 때 FlexibleInstances는 모호하거나 겹치는 상황을 만들지 않습니다. 인스턴스가 겹칠 가능성은 있지만 오류는 아니지만 유형 확인 중에 실제로 혼동을 일으킬 수있는 것은 오류입니다.

하스켈 프라임에 포함될 가능성이 높습니까?

나는 전혀 모른다. 나는 Haskell Prime의 일부가 아니다. gmane에 보관 된 메일 링리스트가 있습니다. 이것을 추적하는 티켓은 number 32입니다.