I don't know. Runtime type checking is necessary because the language doesn't have constructs which allow dispatching based on type. Otherwise, you'd run into

I don't know. Runtime type checking is necessary because the language doesn't have constructs which allow dispatching based on type. Otherwise, you'd run into Python's strong type system when doing an incompatible operation.