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:

(defun adder (n1 n2)
  (check-type n1 number) ; check if n1 == number
  (check-type n2 number) ; check if n2 == number
  (+ n1 n2))

Links to this page

Common Lisp Type System

202204251734#
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.