Loose type checking in E

[Mark S. Miller]

At 08:44 AM 10/19/98 , Chip Morningstar wrote:
>Tyler sez:
>>real calculations. I can see how your Promise objects will enforce the
>>activation ordering; however, I see no mechanism for enforcing the arrival
>>ordering.
>
>Well, that's sort of the whole point.
>
>The line of thinking which led to E is a kind of computer science
>analog of the old gag routine: "Doctor, it hurts when I do this."
>"Then don't do that."

[?] What did you think Tyler means?
Given your response, I suspect you got a lot more out of Tyler's message
than I did.  Could you explain it?  Btw, I'm equally boggled by your response.