[Haskell] A puzzle and an annoying feature
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.
More information about the Haskell