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
wrote:
> Yes, I think type families are here to stay.
>
> There is no formal
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 i