Re: [Haskell-cafe] Trouble understanding records and existential typesy

2007-01-26 Thread Chris Kuklewicz
John Meacham wrote: On Wed, Jan 24, 2007 at 05:03:18PM -0800, Stefan O'Rear wrote: Haskell-98 style records are widely acknowledged as sucking, and there are something like half a dozen proposals all of which are widely acknowledged as vastly superior. Expect to be stuck with H98 records for

Re: [Haskell-cafe] Trouble understanding records and existential typesy

2007-01-25 Thread John Meacham
On Wed, Jan 24, 2007 at 05:03:18PM -0800, Stefan O'Rear wrote: Haskell-98 style records are widely acknowledged as sucking, and there are something like half a dozen proposals all of which are widely acknowledged as vastly superior. Expect to be stuck with H98 records for the remainder of

Re: [Haskell-cafe] Trouble understanding records and existential typesy

2007-01-24 Thread Stefan O'Rear
On Thu, Jan 25, 2007 at 11:34:55AM +1100, John Ky wrote: A while back I asked about OO programming in Haskell and discovered existential types. I understood that existential types allowed me to write heterogeneous lists which seemed sufficient at the time. Now trying to combine those ideas