Fwd: [friam] Re: What is a capability?

Thanks!


---------- Forwarded message ----------
From: Sam Tobin-Hochstadt <[email protected]>
Date: Fri, Jan 9, 2015 at 5:47 AM
Subject: Re: [friam] Re: What is a capability?
To: Mark Miller <[email protected]>
Cc: "friam-/[email protected]" <friam-/[email protected]>, "General
discussions concerning capability systems."
<[email protected]>, Brendan Eich <brendan-PfUPMY0oZ/[email protected]>, Brendan
Eich <[email protected]>


On Fri, Jan 9, 2015 at 3:26 AM, Mark Miller <[email protected]> wrote:
> [+brendan, +sam]
>
> On Thu, Jan 8, 2015 at 11:39 PM, Carl Hewitt <[email protected]> wrote:
>> Also, has anyone measured how expensive it is to implement?
>
> I would expect higher order contracts to also be the most well
> measured use of membranes, but I don't know. Sam, do you know of any
> measurements of this?

There are measurements along with extensive implementation discussion
in our OOPLSA 2012 paper:
http://www.cs.umd.edu/~sstrickl/chaperones/index.html

Also, I have a preprint on using tracing JIT techniques to optimize
the cost of contracts: http://samth.github.io/pycket-draft.pdf

Sam (Mark, feel free to share this message)