Loose type checking in E

[Tyler Close]

At 05:44 AM 10/13/98 -0400, you wrote:
>If I don't know what's going to happen to a vat in between method
>invocations, I'm thinking that's a problem. I am reading the Actor links
>that Mark gave us, and we'll see if I still think the same way.

Well, I am by no means done reading all of the Actor links that you
recommended; however, I feel that I am ready to state my gripe in Actor
terminology.

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.

Tyler