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.