The Classification of Programming Languages Based on Type Systems
Too Long; Didn't Read
Programming languages have different type systems that provide developers with different levels of type safety, flexibility and usability. Type systems can be classified according to two main features: strong and weak typing, static and dynamic typing. Strong typing ensures strict observance of typing rules, while weak typing allows implicit type conversions.