The Declaration Approach (was: Some thoughts on the 'reveal' operator)

[Bill Frantz]

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.