[bitc-dev] BitC, Irken, CPS

[Mark Miller]

On Thu, Feb 12, 2009 at 2:33 AM, Constantine Plotnikov <
constantine.plotnikov at gmail.com> wrote:

Hi Constantine, this all makes perfect sense. The piece I was missing was:


> The statements could not modify variables from lexical context and the
> values from outer lexical context are passed according to the same
> rules as arguments of eventual method invocation.


This is very different than the par operator from Occam, which is why I was
confused.



> So the "par" is easy to implement in E on the compiler level. And I do
> not see any conflicts with neither capability discipline nor with E's
> principles.
>

For your par, as opposed to Occam's, I agree.

-- 
Text by me above is hereby placed in the public domain

   Cheers,
   --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20090212/e11cd32a/attachment.html