[ Course Documents ] : [ Names and Binding ]

Previous Contents Next Keyword Index

Type Errors

• A type error is the application of an operator to an operand of an inappropriate type

• If all type bindings are static, nearly all type checking can be static

• If type bindings are dynamic, type checking must be dynamic

• A programming language is strongly typed if type errors are always detected

• In practice, languages fall on a continuum between strongly typed and untyped