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:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe