Что подразумевается под именем 'неизменяемые типы' и почему их именно так называют?

Неизменяемые типы (immutable types) — это типы данных, значения которых нельзя изменить после создания. Если попытаться изменить такое значение, создаётся новая копия с изменёнными данными, а исходное остаётся без изменений.

В Python примерами неизменяемых типов являются:

• int
• float
• str
• tuple
• frozenset

Почему их так называют:

• После создания объекта его состояние нельзя изменить.
• Это обеспечивает безопасность данных и предсказуемость поведения программ.
• Упрощает работу с многопоточностью, так как неизменяемые объекты не требуют синхронизации.

Например, строка в Python неизменяема:

s = "hello"
s2 = s.replace('h', 'j')  # Создаётся новая строка
print(s)  # hello
print(s2) # jello

Здесь метод replace не меняет исходную строку, а возвращает новую.