> Roman Cheplyaka <roma@...> writes: > > 1. What do you mean by deprecating? Deprecate it in GHC? What does it > have to do with Haskell'? > 2. What do you gain by doing so?
GHC is the de facto testing ground for ideas 'on the menu' for Haskell'. H' has been in paralysis for years around MPTC, Overlaps, FunDeps/Type Families (functions). I'm trying to see a way to remove one of the options so that we can simplify the choices/move the logjam. So yes, I mean deprecate in GHC. > 3. How do you translate cyclic dependencies? You can get an equivalent to cyclic dependencies using equality constraints. (I'll reply to Oleg's example of Sum.) But I agree that my mechanical translation doesn't usually get you to the result. So my GSOC project idea would be to see how far you might get with a more sophisticated translation. Anthony _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
