The Declaration Approach (was: Some thoughts on the
Thu, 21 Oct 1999 10:20:58 -0700
At 11:38 PM 10/20/1999 -0700, Mark S. Miller wrote:
>Good, then we have our answer. Algol68 didn't have this problem because
they have mandatory static type declarations. E doesn't.
Basically what we are trying to do is define procedures/methods with just
two types, VOID and EverythingElse. We want a special syntactic mark for
the EverythingElse case, to try to avoid human error.