On Thu, Jul 3, 2014 at 4:31 AM, Ben Kloosterman <[email protected]> wrote:
> The real question in my mind is whether there should be two keywords >> "interface" and "capsule", one of which allows opening and the other of >> which requires a guard. I just hate to use two keywords for the same thing. >> > > I would not use capsule at worst a modifier eg interface and guard > interface. > Yeah. That would be better. Or maybe "guarded interface" for the sake of English agreement. I wasn't stuck on the particular keywords. Though it's an interesting question which one should be the default. We could try going with "interface" and "voyeurs interface"... I'd actually like to try the story in which guarded interfaces are the default, because it will force us to explore the notion and its limits. The nice thing about starting with the more restricted form as the default is that we can un-restrict it later without breaking any code. If we're thinking about this as a potential security mechanism, it's good for the program text to call out places where access is *not* constrained. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
