Re: [friam] Formal modeling of systems based on E/CapTP/(Water)Ken/Cap'n Proto ideas

"Mark S. Miller" <[email protected]> Tue, 7 Jul 2015 06:39:27 +0200

Newsgroups	gmane.comp.capabilities.general
Message-ID	<CABHxS9inwBtq0-i8qhQdv=+a9mtj2Zi3BpBPJEX58=TvO01n2Q@mail.gmail.com>

[resending in case James isn't subscribed to cap-talk]


On Tue, Jul 7, 2015 at 5:52 AM, James Noble <[email protected]> wrote:

>
> > On 7/07/2015, at 14:59, Mark S. Miller <[email protected]> wrote:
> >
> > Coauthors, does this adequately capture the lambda vs class equivalence
> you have in mind?
>
> Sure. Or you can think of this the other way around - that classes are a
> particular subset of the more general mechanism induced by lambda capture.
> It is in that sense that classes are strictly simpler than lambdas.
>
> James




-- 
    Cheers,
    --MarkM

_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk