Loose type checking in E

[Mark S. Miller]

At 10:04 PM 10/12/98 -0400, Tyler Close wrote:
>Be careful with how far you take your operating system resources analogy.
>There is no inherent tree structure to distinct resources in an operating
>system. There is, however, an inherent tree structure to a GUI.

Indeed.  Doesn't this suggest that you should be careful in generalizing
from the tractability and beauty achievable in concurrency control for GUIs
to that achievable in general?


>>Strange but true stories of the antiquity of computing :-)
>
>We're still in the antiquity of computing ;)

Indeed.  Even more so than we were in the late 70s / early 80s :(