[randyrand]

C++ also does do any type checking at runtime. Compile time checking is all that really matters.

[ubernostrum]

The CPython implementation does have a "compile" step (to produce bytecode, which is what actually gets executed, by a simple stack-based virtual machine), and does not do any type checking in that step no matter how many annotations you give it.