On 9 January 2015 at 20:05, Keean Schupke <[email protected]> wrote: > Okay, so I still agree with what you have said. I think the difference is I > was considering first-class instance values, and you are just thinking about > some kind of second-class name label for instances? > > How are you going to get existential encapsulation with named instances?
I don't mean to say that all instances need to be static constants, only that functions that use them can be specialised statically if the instance can be resovled statically at the call site, which is a fairly common case. -- 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
