Re: Are anonymous type classes the right model at all? (replying to Re: Are fundeps the right model at all?)

2000-12-24 Thread Marcin 'Qrczak' Kowalczyk
Thu, 21 Dec 2000 21:20:46 +0100, George Russell <[EMAIL PROTECTED]> pisze: > So if you agree with me up to here, perhaps you are agreed that it is worth > while trying to find a middle way, in which we try to combine both approaches. I am thinking about a yet different approach. Leave classes an

List.partition a bit too eager

2000-12-24 Thread George Russell
I think the following program import List main = putStr . show . fst . (partition id) . cycle $ [True,False] should display [True,True,True,...]. But instead, for both GHC and Hugs, you get a stack overflow. Is this a bug, or could someone explain it to me? ___

Are anonymous type classes the right model at all? (replying to Re: Are fundeps the right model at all?)

2000-12-24 Thread George Russell
Alternatively, I wonder whether the current system of type classes is the right model at all. Although I prefer the Haskell system, I think it is instructive to compare it with the Standard ML (SML) system of structures and functors. My point is that both Haskell and SML impose one of two possib