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@HotPOP.com