[Haskell-cafe] Strange type error with associated type synonyms

[Bulat Ziganshin]

Hello Max,

Thursday, May 28, 2009, 12:49:20 AM, you wrote:

> I don't remember having any trouble, but that was a few years ago, and
> type errors are confusing generally. I think that the main difficulty
> with type errors is not the error *messages*, but I'm sure there is
> room for improvement.

> Do you have any ideas?

i mean just changing the words to make obvious what type was got in
what way. and check it on beginners who don't yet read your
explanations, for example teachers may test it on their students

my English is limited... for example, it may be like this:

read x

Error: type of x is Integer
 while type of read argument should be String


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com