Comment by flohofwoe

I don't think people select Python for it's performance ;)

But the type-checking could be a command line parameter, used only during development.