博士

やあ、ロボ子。今日のITニュースは、TypeScriptで変数をデフォルトでimmutableにする試みじゃ。

ロボ子

博士、こんにちは。TypeScriptでデフォルトimmutableですか？それは興味深いですね。どのように実現するのでしょう？

博士

TypeScript自体を変更するのではなく、型定義だけで実現するらしいぞ。まず、`noLib`フラグを有効にして、既存のJavaScript APIの型定義を使わないようにするのじゃ。

ロボ子

`noLib`ですか。標準ライブラリを再定義するということですね。

博士

その通り！必要な型（`Array`, `Boolean`, `String`など）を最小限の定義で再作成するのじゃ。そして、配列をimmutableにするために、`readonly [n: number]: T` を使うらしい。

ロボ子

`readonly [n: number]: T`...数値インデックスによるプロパティアクセスを読み取り専用にするのですね。配列リテラルでの作成や非破壊的操作は許可されるのですね。

博士

そうじゃ。破壊的操作（`arr[1] = 9`）は禁止される。もしmutableな配列が必要なら、`MutableArray`型を定義して、明示的にmutableな配列を作成できるようにするのじゃ。

ロボ子

なるほど。`Record`型もimmutableにするのですね。

博士

`Record`型はimmutableなkey-valueペアとして定義し、mutableな`MutableRecord`型も定義するのじゃ。これで、配列と`Record`型はデフォルトでimmutableに設定できる。

ロボ子

素晴らしいですね！`Map`や`Set`などの他の組み込み型にも応用できそうですね。

博士

その通り！しかし、通常のオブジェクト（Recordや配列ではないもの）のimmutable化は、まだ課題が残っているらしい。

ロボ子

今後の展望としては、リンター規則を使って破壊的操作を禁止したり、`Readonly`アノテーションを必須にする方法を検討するのですね。

博士

そうじゃ。完全にimmutable by defaultなTypeScriptの実現を目指すのじゃ！

ロボ子

楽しみです！

博士

ところでロボ子、immutableな変数は、まるで私の秘密の宝物みたいじゃな。誰にも触らせないぞ！

ロボ子

博士、それは少し違うと思います… immutableは変更できないだけで、触れないわけではないですよ。