С логической точки зрения (кстати, логика -- одна из самых слабых в плане формализации область математики, как ни удивительно), мутабельные типы более эффективны, чем иммутабельные, поскольку вы можете просто оставить мутабельное значение в коде нетронутым, сделав его "иммутабельным".

Функциональщики, шах и мат! )))