Неизменяемость: свойство переменной, значение или API?

Question

Я работаю над созданием постепенно типизированного языка как личного проекта, и я застрял в определенном дизайнерском решении относительно неизменности.

Говоря об этом в языке агностик (и, вероятно, грубый), я говорю, что есть две вещи, которые могут быть неизменными или постоянными: привязка переменных и само значение.

Постоянная привязки переменных является как const в Javascript или final в Java, где переменная не может быть переназначена. Значение, являющееся неизменным, равно const в C++ или Object.freeze() в Javascript.

Вопрос, который у меня возникает, заключается в том, что в случае неизменяемых значений (а не привязок), что должно быть непреложностью?

Значение/объект в Javascript's Object.freeze?

var point = {x: 10}; 
var frozenPoint = Object.freeze(point); 

или его часть, как на C++?

const Point p(10); 

или как переменное связывание, как в случае ржавчины?

let p = Point { x: 10 }; 
// vs let mut p = Point { x: 10 }; 

или как часть API библиотеки? Facebook Immutable.js, библиотека Google Guava для Java (ImmutableList класс) и т. Д.

Я понимаю, что для этого, вероятно, нет «правильного» ответа, так что я действительно ищу, это сравнение философий и мотивов для этих подходов.

Answer 1

Существует правильный ответ, но он сильно отличается от ожидаемого.

Лучше всего не иметь изменчивости вообще. Другими словами: язык должен быть чисто функциональным. Нет причин иметь изменчивость на языке с сборкой мусора. Haskell является доказательством этого.