Static vs Dynamic typed language

Type checking is the process of verifying and enforcing the constraints of types.

  1. Statically typed programming languages do type-checking at compile-time. Examples: Java, C, C++.
  2. Dynamically typed programming languages do type-checking at run-time. Examples: Perl, Ruby, Python, PHP, JavaScript.

Deeper understanding:

I Finally Understand Static vs. Dynamic Typing, and You Will Too! | HackerNoon

Extra reference (Advance)

Python Type Checking (Guide)