With Python + mypy you get this middle ground as well. No need to type-check before you run your code, if you don't want to.