[Zambyte]

Optional static typing. Always strongly typed.

[erik_seaberg]

We tend to hope so, but CLHS is full of stuff like “the consequences are undefined if the value of the declared variable is not of the declared type” which gives a lot of leeway for generating code that blows up horribly.