[Haskell-cafe] Existentially-quantified constructors, Eq and Show

Joel Reymont joelr1 at gmail.com
Thu Dec 8 07:43:56 EST 2005


Doesn't this have an effect on performance?

Is GHC still able to optimize things properly?

On Dec 8, 2005, at 10:20 AM, Bulat Ziganshin wrote:

> Hello Joel,
>
> Thursday, December 08, 2005, 12:26:52 PM, you wrote:
>
> JR> I was also hoping that something like this would let me avoid
> JR> quantifying a in functions downstream but alas, it does not  
> happen. I
> JR> have to use (Eq a, Show a) => a ... everywhere else.
>
> to avoid context declarations you can (need?) completely avoid
> function types declarations, as i do

--
http://wagerlabs.com/







More information about the Haskell-Cafe mailing list