Python has some safety checks that are missing in other languages, and this is a good thing. But it&#x27;s misleading to call them &quot;type safety&quot;, because they aren&#x27;t connected to anything that can be meaningfully called a type system - all those checks happen at the value level (e.g. you can make a particular integer amenable to string_length, by monkeypatching the relevant methods onto it).