Type inference is the process by which the compiler tries to figure out the types of expressions and variables, given an inevitable lack of complete type information. Although Python does much more type inference than most Common Lisp compilers, remember that the more precise and comprehensive type declarations are, the more type inference will be able to do.
|• Variable Type Inference|
|• Local Function Type Inference|
|• Global Function Type Inference|
|• Operation Specific Type Inference|
|• Dynamic Type Inference|
|• Type Check Optimization|