> But they are optional (right?) so in practice if they are not there they do little good. That depends on the compiler. The SBCL compiler will use it as type

> But they are optional (right?) so in practice if they are not there they do little good. That depends on the compiler. The SBCL compiler will use it as type assertions, adding type inference and will do checks at compile time.