[Haskell-cafe] existential types

Jake McArthur jake.mcarthur at gmail.com
Wed Feb 13 20:06:58 EST 2008


From: Jake McArthur <jake.mcarthur at gmail.com>
Date: February 13, 2008 7:04:49 PM CST
To: Felipe Lessa <felipe.lessa at gmail.com>
Subject: Re: [Haskell-cafe] existential types

On Feb 13, 2008, at 11:15 AM, Felipe Lessa wrote:

> On Feb 13, 2008 2:41 PM, Jake McArthur <jake.mcarthur at gmail.com>  
> wrote:
>> Now we can have NumericLists like [1 :: Int, 5.7 :: Double, 4%5 ::
>> Rational].
>
> No, we can't =). Using
>
> data NumericList = forall a . Num a => N [a]
> [etc.etc.etc.]

Oops again. Maybe I just shouldn't say anything to anybody on the  
Internet within an hour of waking up in the morning! ;)

- Jake

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080213/ec16c277/attachment.htm


More information about the Haskell-Cafe mailing list