Categories of Languages Based on Type Checking

• Typed Languages
  • Strongly Typed Languages: Java
    • All objects have statically determinable data types
    • Therefore, type errors are always detected
  • Weakly Typed Languages: C, Pascal
    • Coercion negates Strong Typing
• Typeless Languages: LISP, Prolog