型の深淵を制御せよ：unknown, never, そしてInterface設計の境界線
TypeScriptの型システムは、単なる静的解析ツールではない。それはコンパイル時にメタデータを消費して生成される「論理的な防壁」だ。多くのエンジニアが `any` を「とりあえず」使い、`unknown` を「少し安全なany」と誤解する。
だが、システムの奥底、V8のヒープやイベントループの非同期スタックまでを見通すアーキテクトにとって、`unknown` と `never` は、プログラムの「生存圏」を定義するための最重要境界線である。本稿では、Interfaceという静的な箱の中に、これら両極端な型をどう封じ込め、あるいは開放すべきかを説く。
—
1. `any` という名の無秩序と `unknown` という名の防壁
`any` はコンパイラの型検査を無効化する「特権的な穴」だ。`any` をインターフェースに定義した瞬間、そのプロパティはコンパイル時の守護を失い、実行時のランタイムエラーという地雷原に直結する。
対して `unknown` は、TypeScriptにおける「型安全なトップ型」だ。`unknown` を持つプロパティは、アクセスする前に「型ガードによる検証（Narrowing）」を強制する。
interface DataPacket {
// any: 境界線が存在しない。バグが混入してもコンパイラは沈黙する
raw: any;
// unknown: プログラマに「中身を確認しろ」という契約を強制する
payload: unknown;
}
function process(packet: DataPacket) {
// packet.raw.id // 実行時に例外を吐く可能性が高い。チェック機構がない。
if (typeof packet.payload === ‘object’ && packet.payload !== null && ‘id’ in packet.payload) {
// コンパイラはここで初めてpayloadを特定の型として認識する
console.log((packet.payload as { id: number }).id);
}
}
アーキテクトの視点：
`unknown` は、外部からの入力（APIレスポンス、ファイルI/O）をシステム内部へ引き入れる際の「検疫所」として機能する。インターフェースに `unknown` を配置することは、そのデータが「まだコンテキストを持たない未定義のエネルギー」であることを明示する、最も健全な設計だ。
—
2. `never` の真価：到達不能という名の型安全性
`never` はボトム型である。集合論的に言えば「空集合」だ。これは「決して値が存在し得ない」ことを意味する。これをInterfaceのプロパティとして配置する際、多くの者はその意図を履き違える。
`never` をインターフェースに入れる最大のメリットは、「網羅性チェック（Exhaustiveness Checking）」によるガードレール構築にある。
interface Processor
mode: T;
// 拡張性を担保しつつ、不正なステートをコンパイルエラーで弾く
handle: T extends ‘sync’ ? (() => void) : (T extends ‘async’ ? (() => Promise
}
// 以下のコードはコンパイルエラーとなる。
// ‘invalid’ という型がneverに到達し、型の整合性が取れなくなるためだ。
const task: Processor<'invalid'> = {
mode: ‘invalid’,
handle: () => {} // Error: Type ‘() => void’ is not assignable to type ‘never’.
};
アーキテクトの視点：
ランタイムにおいて `never` に到達するということは、論理的な分岐漏れを意味する。これを放置することは、イベントループ上で未定義のキューが処理され、メモリリークやスタックの破壊を招くリスクを孕む。インターフェースで `never` を活用し、コンパイラに「ここを通ることは論理的にあり得ない」と宣言させることは、最高の防御策だ。
—
3. 型の重みとメモリ最適化へのアプローチ
TypeScriptの型はコンパイル後に消去される（Type Erasure）。しかし、インターフェースの設計が最適化されていれば、JITコンパイラはより効率的な「Hidden Class（隠しクラス）」をV8上で生成できる。
- Anyの多用は最適化を阻害する: `any` を多用すると、V8はオブジェクトの形状を推論できず、最適化されたマシンの生成（IC: Inline Caching）を放棄する。結果、プロパティアクセスは毎回ルックアップテーブルを参照することになり、パフォーマンスが低下する。
- UnknownとNeverによる型絞り込み: 型ガードを適切に行い、`unknown` を具体的な型へ変換することは、コンパイラに対して「このオブジェクトの形状は固定である」というヒントを与えているのと同じだ。
—
結び：コードは思想の投影である
`unknown` を使うことは、外部世界に対する謙虚さだ。「何が来るか分からない」という前提をコードに組み込む。
`never` を使うことは、自身の論理に対する傲慢なまでの厳格さだ。「ここには何も存在しない」と断言できるロジックを組む。
インターフェースとは、単なるデータ構造の定義ではない。それはあなたのシステムが「何を受け入れ、何を拒絶し、どのパスが論理的に閉ざされているか」を記述する「契約書」だ。
今日のコードに `any` を書く手を止め、それが `unknown` で代替できないか、あるいは `never` によってより強固な制約をかけられないか、一度立ち止まって考えてみてほしい。それこそが、TypeScriptを掌握するということの本質である。