Здравствуйте, IT, Вы писали:

IT>Я вот тут подумал и понял, что на самом деле без поддержки компилятором immutable style невозможен даже теоретически.

Почему? По-моему, тут цена не выше, чем некоторая потеря производительности. В том смысле, что компилятор не заточенный под immutable оперирует более широким набором предположений, следовательно, не может породить настолько же эффективный код immutable-styled программы, как минимум, без хинтования. А-ля устранение хвостовой рекурсии, которую умели уже стародавние лиспы и не умел более молодой паскаль на каком-то этапе.