Static vs Dynamic Typing
Back: Type Systems
The fundamental distinction of when type checking occurs. Static typing catches type errors at compile time before the program runs, while dynamic typing defers checks to runtime, trading safety for flexibility.