[Haskell] A puzzle and an annoying feature

Lennart Augustsson lennart at augustsson.net
Thu Nov 25 03:09:04 EST 2004

ajb at spamcop.net wrote:
> G'day all.
> Quoting Lennart Augustsson <lennart at augustsson.net>:
>>Here is a small puzzle.
> You can understand this one because the closed world hypothesis doesn't
> apply to type context inference. 

I have no problem understanding the technical reason for this.
But I now think it's a poor design.

	-- Lennart

More information about the Haskell mailing list