On 9 January 2015 at 19:12, Keean Schupke <[email protected]> wrote: > Re: specialisation, it seems no worse than explicitly passing a value when > you have incoherent type-classes. All this does is pass the explicit > 'instance value' implicitly.
When an instance value is passed explicitly, we still have a place in the code that identifies which functions need to be specialised, and what they need to be specialised against. If implicit resolution is guided by TLS, dictionaries must /always/ be maintained, even if they are never used. The alternative is specialising all of the code for each dynamic contour. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
