Except this is bs because modern jit outperforms C and C++ compiled code in some cases. Dynamic types mean the constraints are known later. It doesn’t mean they’re never known. And when they’re known you can partially reduce.
Don't you mean, constraints are found when the program throws an unexpected exception and leaves you with a largely meaningless stack dump :)
I'd rather have the system tell me "you can't do that" much earlier - at compile time, not run time.
I use python quite a bit, but hate the thought of all those never-exercised control paths, which only occur in the most unusual circumstances - and I know silly problems will show up when those paths do get executed :(
I'd love to see some examples of this. Links?
In "some cases" doesn't mean the statement is bs. Generally jit is slower than compiled code. There are exceptions to every rule, we use generalizations to reason about the world anyway.