Объясните концепцию и особенности неизменяемых типов данных в Python

В Python неизменяемые (immutable) типы данных — это объекты, состояние которых нельзя изменить после создания. К таким типам относятся, например, строки (str), кортежи (tuple), числа (int, float), булевы значения (bool), и некоторые другие.

Особенности неизменяемых типов:

• Безопасность и предсказуемость: поскольку объект не меняется, его можно безопасно использовать в качестве ключа словаря или элемента множества.
• Оптимизация памяти: интернирование строк и кэширование чисел возможно благодаря неизменяемости.
• Поведение при изменении: при попытке изменить объект создаётся новый объект, а ссылка меняется на него.

Пример:

s = "hello"
s = s + " world"  # создаётся новый объект строки, s теперь ссылается на него

Здесь исходная строка "hello" не меняется, а создаётся новая строка "hello world".