Loose type checking in E

[Tyler Close]

At 02:12 AM 10/17/98 -0400, I wrote:
>>The Actor theory depends on partial orderings of events in order to perform
>>real calculations. I can see how your Promise objects will enforce the
>>activation ordering; however, I see no mechanism for enforcing the arrival
>>ordering.

Wow, I think I just thought of something else. Threads and arrival
orderings are synonymous. This means that a multithreaded vat is just a vat
that allows itself to initiate multiple arrival orderings concurrently. So
long as arrival orderings interact with the host vat in the same way,
regardless of which vat initiated them, then if I was right the first time,
I should be right this time as well.

Tyler