Python still suffers from unrestricted mutation, which isn't helped by the lack of a type system. And I say this as someone who primarily uses Python. If anyth

Python still suffers from unrestricted mutation, which isn't helped by the lack of a type system. And I say this as someone who primarily uses Python. If anything, Smalltalk is the closest to "everything is an object". It doesn't even have an "if" statement, it's just a method call. Even there, the problem of mutation is present.