不変性：変数、値、またはAPIのプロパティ？

Question

私は徐々に型付けされた言語を個人的なプロジェクトとして設計しています。私は、不変性に関する特定の設計上の決定に固執しています。

これは言語にとらわれない（おそらく粗い）やり方で言えば、私は可変であるか定数であるという2つのことがあります：可変バインディングと値そのものです。

可変バインディングはJavascriptの場合はconst、Javaの場合はfinalのように変数を再割当てできません。不変な値自体は、C++の場合はconst、Javascriptの場合はObject.freeze()です。

私が持っている質問は、不変の値（バインディングではない）の場合、不変性はどのような性質でなければならないのでしょうか？

値/オブジェクト自体はJavascriptのObject.freezeにありますか？

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

またはC++のような型の一部ですか？

const Point p(10); 

またはRustのような可変結合として？

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

またはライブラリのAPIの一部として使用しますか？ FacebookのImmutable.js、GoogleのGuavaライブラリ（ImmutableListクラス）など

私は本当にこれには "正しい"答えがないことを理解しているので、私が本当に求めているのは、哲学と動機の比較ですこれらのアプローチのために。

Answer 1

正解がありますが、期待しているものと大きく異なります。

最高のものは、全く変更がないことです。換言すれば、言語は純粋に機能的でなければならない。ガベージコレクションの言語に変更可能性を持たせる理由はありません。ハスケルはこれの証です。