[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