> enough to write statically typed code in Lisp Certainly not in the way "statically typed" is usually understood. Containers (outside of specialized arrays)

> enough to write statically typed code in Lisp Certainly not in the way "statically typed" is usually understood. Containers (outside of specialized arrays) aren't parameterized, so every time you extract a value from a list or map, the "static type" is the top type. SBCL remains essentially unityped with islands of type propagation for better performance of (mostly) numeric code.