When type checking happens

Type checking is a process that verifies if a variable is compatible with a certain operation. Depending on when it happens, there are two paradigms:

• Static typing → which happens at compile-time and doesn't allow a variable to be reassigned values of different types because types are bound to variables. (Java, Go, C++, Typescript)
• Dynamic typing → which happens at runtime and allows for variables to be reassigned values of different types because types are bound to values. (Python, Javascript, PHP, Perl)