【テクニカル・上級編】関数型における「PromiseLike」を用いた非同期関数の柔軟な型定義 – TypeScript コア・型システムの基礎解析バイブル

export function resolveDeeply(input: AsyncSource): Promise> {
return Promise.resolve(input) as any;
}

このアプローチでは、ランタイムの実行効率を落とさずに、コンパイラに対する型の負担を最小限に抑え込んでいる。

—

4. V8ランタイムとイベントループの低レイヤ挙動

なぜ、ここまでして `Promise` ではなく `PromiseLike` にこだわるのか？
その答えは、JavaScriptエンジン（V8など）におけるマイクロタスクキュー（Microtask Queue）の消費メカニズムにある。

V8のイベントループにおいて、ネイティブの `Promise` が解決されると、それは内部のホスト環境（Node.jsやブラウザ）のマイクロタスクキューにエンキューされ、C++レイヤでの最適化パス（PromiseJobs）を通る。
しかし、独自の `PromiseLike` 実装（例えば、軽量なCancellationトークンを持つオブジェクトや、メモリー効率を重視したカスタムDeferred）を用いる場合、`then` メソッドの振る舞いを完全に制御できる。

// 超軽量なカスタムThenableの例（ゼロアロケーションに近いカスタム実装）
class MicroscopicThenable implements PromiseLike {
constructor(private readonly executor: (resolve: (value: T) => void) => void) {}

then(
onfulfilled?: ((value: T) => TResult1 | PromiseLike) | undefined | null,
onrejected?: ((reason: any) => TResult2 | PromiseLike) | undefined | null
): PromiseLike {
// ネイティブPromiseを使わず、直接コールバックを評価することで
// V8のマイクロタスクキューのオーバーヘッドをバイパスする極限の最適化
try {
let resolvedValue: any;
let isFulfilled = false;

this.executor((val) => {
resolvedValue = val;
isFulfilled = true;
});

if (isFulfilled && onfulfilled) {
return {
then: (next) => next ? next(onfulfilled(resolvedValue)) : ({} as any)
};
}
} catch (e) {
if (onrejected) onrejected(e);
}
return this as any;
}
}

このような極限の低レイヤ最適化を行ったオブジェクトであっても、関数の型定義が `Promise` に縛られていれば、コンパイルエラーになるか、あるいは強制的にネイティブ `Promise` への変換（＝不要なオブジェクト生成とガベージコレクション負荷）が強要される。

ここで `PromiseLike` を用いることで、「V8のメモリヒープを汚染しないカスタム非同期フロー」と「TypeScriptの厳格な型安全性」を完全に両立させることが可能になるのだ。

—

結び：型はランタイムの枷ではなく、芸術のためのキャンバスである

多くのプログラマーは、TypeScriptの型システムを「バグを防ぐためのガードレール」としか捉えていない。しかし、アーキテクトの視点において、型とは「ランタイムの挙動を正確に記述し、極限までパフォーマンスを引き出すためのメタ言語」である。

`PromiseLike` を使いこなすことは、単にコードの互換性を高めることではない。それは、あなたが書いたコードがV8エンジン上でどのように実行され、メモリがどうアロケートされ、イベントループがどう回るのかを、型レベルから完全に支配していることの証明なのだ。

フレームワークが用意した既製の型に安住せず、言語の仕様の深淵を覗き込め。そこに真のエンジニアリングの領域が広がっている。