4.5 Types in Python

 

A big difference between Python and all other Common Lisp compilers is the approach to type checking and amount of knowledge about types:

• Python treats type declarations much differently that other Lisp compilers do. Python doesn't blindly believe type declarations; it considers them assertions about the program that should be checked.
• Python also has a tremendously greater knowledge of the Common Lisp type system than other compilers. Support is incomplete only for the not, and and satisfies types.

See also sections 5.2 and 5.3.

 
• 4.5.1 Compile Time Type Errors
• 4.5.2 Precise Type Checking
• 4.5.3 Weakened Type Checking