■ **概要** TypeScriptを型情報付きで解析し、型付きIR → C → ネイティブバイナリ・WebAssemblyへコンパイルする静的コンパイラ（Vercel Labs実験中）。 ■ **特徴・用途** - **複数出力ターゲット対応**：中間表現、LLVM IR、ネイティブアセンブリ、実行可能ファイル、WASI WebAssemblyを一パイプラインで生成可能。パース・型チェックはTypeScriptコンパイラ再利用で堅牢。 - **静的性重視の設計**：型付けコードはNode.jsランタイム不要な軽量バイナリ化（macOS arm64では自社提供ランタイムのみ、clangは単なるリンカードライバー）。動的コード・npmパッケージはquickjs-ng埋め込みでフォールバック。 - **実運用への課題**：実験段階（Vercel Labs）でNode.js 24以上必須、型情報喪失コードは診断報告、エコシステム互換性未検証。 ■ **結論** JavaScriptの動的性を許容しつつ型システムで静的最適化を狙う手法は理想的だが、実装の熟度と業界採用が実用性を左右する段階。