Comment by weberc2

You can statically type check a dynamically typed, interpreted language. Python via Mypy and Typescript being two examples.