Hello Fawzi, Tuesday, March 20, 2007, 1:47:48 PM, you wrote:
> That was the reason that is spoke of aldor ( http://www.aldor.com ), as > it has type inference, but yes indeed this makes type inference much > more difficult and undefined in some cases (also haskell extensions make > inference in general impossible). the problem is not only implementation, but error messages. are you want to see a message like "a should be Int, b should String, and ñ should be Double; or x should be String and y Int; or ñ should be [Int]" ? :) -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe