Complex sentence: 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.
Split into simpler sentences: 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.