Yes, I think type families are here to stay.
There is no formal policy about GHC extensions. Generally speaking, I regard
GHC as a laboratory in which to test ideas, which militates in favour of
putting things in so that people can try them. Once in they are hard to take
out again (linear
FWIW, I am forgoing functional dependencies and going straight to type
families/associated types in jhc. They are easier to implement and
much cleaner IMHO.
John
On Mon, Dec 13, 2010 at 12:29 AM, Simon Peyton-Jones
simo...@microsoft.com wrote:
Yes, I think type families are here to stay.