Re: Capabilities interact nicely with Substructural Types and Reactivity
David Barbour <[email protected]>
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CAAOQMSsUzYGnh6sBLn3oYy+5HSq6Ygh1K5c7yuCwTw_Sz30boQ@mail.gmail.com> |
On Sep 12, 2013 9:44 PM, "Karp, Alan H" <[email protected]> wrote: > > > Of course, but I’m trying to tease out the essence of the requirement. Is it history independence, deterministic execution, or both? It depends on the problem. There are quite a few problems (not just in security) that benefit from granting varying degrees of control over state. > if you could only have one, which would you choose? I would refuse the choice and find another. :p _______________________________________________ cap-talk mailing list [email protected] http://www.eros-os.org/mailman/listinfo/cap-talk