TJ wrote:
No. I am saying that Haskell's type system forces me to write boilerplate.
Fair enough.
Why can't it automatically construct them then? Assuming we do have a
syntax for A list of objects, each of which is of some
possibly different type 'a', subject only to the restriction that a
On 10/23/07, Jules Bean [EMAIL PROTECTED] wrote:
I believe it is to do with the requirement that expressions have a
unique principle type. Certainly in principle the algorithm you outline
is possible, but I don't know what else you would lose.
I'm not familiar with the term principal type. I