Re: imagining a programming language with a capability calling convention
David Barbour <[email protected]> Fri, 3 Apr 2015 23:50:34 -0500
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CAAOQMSttw4XQmv3Z13Do=9A=hz0H6xMivNN7G651V44p-5i6WA@mail.gmail.com> |
This seems like a lot of extra work to me, with no gain in security terms. Controlling specific arguments is easily modeled using a facet pattern. If you want to provide write or one-time read authority, this also may be modeled using normal object capabilities. It might become 'acceptor(obj,"method")' or 'readonce(val)'. _______________________________________________ cap-talk mailing list [email protected] http://www.eros-os.org/mailman/listinfo/cap-talk