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. You technically don't have to give up all expressible lambda calculus terms if you stick with dynamic typing, but you would have to give some up that simply can't be typed if you want the benefits of a static type system. Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
