По сравнению с тем что они делают в js для иммутабельности расходы элма вообще ерунда. Взять самый популярный immer, сначала он делает глубокую копию на которую применяются изменения... потом изменённая копия сравнивается с начальным значением и считается дифф, потом этот дифф апплается на изначальную структуру... и ничего, никто даже усом не ведёт, хвалят, премии дают