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

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

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

Пример:

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

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

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