On 10 July 2014 00:19, Sandro Magi <[email protected]> wrote: > On 08/07/2014 8:47 PM, William ML Leslie wrote: >> This is my understanding too. You can do sensible security whether you >> admit downcasting or not, and if you don't have to give it up why >> would you? > > You would have to give it up to achieve other desirable properties.
Sure, fewer rules can mean a simpler type system, which means you can introduce functionality elsewhere. It does seem like a very different point to the conversation we've been having, though. -- 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
