Static type checking can be considered a limited form of program verification (see type safety), and in a type-safe language, can be considered also an optimization.
In a type-safe language, static type checking can also be thought of as an optimization. Static type checking can be thought of as a limited form of program verification (see type safety).
Static type checking can be thought of as a limited form of program verification (see type safety). In a type-safe language, static type checking can also be thought of as an optimization.
Static type checking can be thought of as a limited form of program verification (see type safety). In a type-safe language, static type checking can also be thought of as an optimization.