[Haskell-cafe] Existentially-quantified constructors,
Eq and Show
bulatz at HotPOP.com
Thu Dec 8 10:42:11 EST 2005
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
Bulat mailto:bulatz at HotPOP.com
More information about the Haskell-Cafe