Alexander:

> When a is mutable, a += b updates it in-place, so there is no ambiguity: the type of a cannot change.  When you do a + b, there is no reason to treat a as more deserving than b when selecting the type of the result

Does this means "a += b" is not the same as "a = a + b"? I'd think this can be seen as a pitfall for python.