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

[Bulat Ziganshin]

Hello Joel,

better to ask Simon. if automatically determined type is more generic
than you really need, this can something slow program. but i think that
generally this have no big impact, because many functions are just
inlined and, theoretically, can be specialized just at inlining place

Thursday, December 08, 2005, 3:43:56 PM, you wrote:

JR> Doesn't this have an effect on performance?

JR> Is GHC still able to optimize things properly?

JR> 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

JR> --
JR> http://wagerlabs.com/







-- 
Best regards,
 Bulat                            mailto:bulatz at HotPOP.com