[Haskell-cafe] what I learnt from my first serious haskell
programm
Bulat Ziganshin
bulat.ziganshin at gmail.com
Tue Mar 20 08:52:51 EDT 2007
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:Bulat.Ziganshin at gmail.com
More information about the Haskell-Cafe
mailing list