Taylor Campbell <xxxxxx@mumble.net> writes:

> I'm a bit unclear on one part of your proposal: is the type
> declaration syntax merely a suggestion to the compiler, or does it
> actually affect the semantics of a program?

The Lisp way, much more preferable, is that they are mere suggestions,
which *must not* affect the performance of correct code.