6 Oct
2005
6 Oct
'05
12:48 p.m.
Simon Marlow wrote:
I agree with you. And that is how it used to be, but then some people didn't think that was convenient enough so now we are stuck with a seq that (IMHO) stinks. :)
Having a seq that works on anything is occasionally very useful for fixing space leaks, and the type class version was kind of ugly and unwieldy. The type class pops up when you use ! in a data declaration, which looks strange. But I agree that polymorphic seq does have some painful side effects.
Polymorphic seq is not lambda definable, which I dislike. -- Lennart