Чем изменяемые типы отличаются от неизменяемых?

В Python переменная — это имя, привязанное к объекту. Разница в том, что можно сделать с самим объектом.

У изменяемого объекта (list, dict, set) можно поменять содержимое, и все имена, которые на него ссылаются, увидят изменение: a = [1]; b = a; b.append(2) — теперь и a == [1, 2].

Неизменяемый объект (int, str, tuple) поменять нельзя. Операция, которая выглядит как изменение, создаёт новый объект и перепривязывает имя: после s = "ab"; s += "c" имя s указывает на другую строку, а старая не изменилась. Это видно по id() до и после.

Следствия, о которых обычно спрашивают:

• Хешируемость. Ключи dict и элементы set должны быть хешируемыми, а хеш не должен меняться за время жизни объекта. Поэтому список ключом быть не может, а кортеж из неизменяемых элементов — может.
• Кортеж со списком внутри. Сам кортеж неизменяем (нельзя заменить элемент), но список внутри можно менять — и такой кортеж уже не хешируется.
• Передача в функцию. Функция получает ссылку на тот же объект: изменяемый аргумент она может поменять «снаружи», неизменяемый — нет.

a = [1, 2]
b = a
b.append(3)
print(a)          # [1, 2, 3] — один и тот же список

s = "py"
t = s
t += "thon"
print(s, t)       # py python — у t теперь новая строка

hash((1, 2))      # работает
hash((1, [2]))    # TypeError: unhashable type: 'list'