Many implementations also give us type inferencing and optimizations, but usually not compile time type checking like in SBCL. I would also kind of think that t

Many implementations also give us type inferencing and optimizations, but usually not compile time type checking like in SBCL. I would also kind of think that the level of type inferencing in SBCL is greater.