Too Long; Didn't Read
The Difference Between Statically - Dynamically - Strongly - Weakly Typed Languages. Type checking is the process of verifying and enforcing the constraints of types. Strongly typed languages have a stronger type-check and enforce the type assigned (at compile or run time) Weakly typed language allows expressions between various different types. Java Specification calls Java a strongly typed language, but The First C Programming Language uses no such term. The First Programming Language C. Edition uses Java to define strongly typed languages.