Common Lisp Type System provides two ways for type checking:
We could get the value type by using typep function:
(typep '(1 2 3) 'list) ; return TCommon Lisp Type System
-
Common Lisp Static Type Checking
We could impose static type checking within #202204251732 using SBCL implementation for global variables and functions. This means that type error could be caught in compile time rather than relying on 202204251734.
-
Common Lisp Dynamic Type Checking
#202204251732 provides some facilities for type checking in runtime. This includes
check-type. The following example shows a use case: