Type Strippingってそもそも何？

Type Strippingは、TypeScriptファイルから型情報だけを削除して、残ったJavaScriptコードを実行するアプローチです。従来のtscによるトランスパイルとは根本的に発想が違っていて、「型注釈をスペースで置き換える」というシンプルな手法を取っています。

具体的にはこんな感じです。

// 元のTypeScript
const greeting: string = "Hello";
function add(a: number, b: number): number {
  return a + b;
}

// Type Stripping後
const greeting         = "Hello";
function add(a        , b        )        {
  return a + b;
}

型の部分がスペースに置き換わっているのがわかりますよね。この方法のメリットは、行番号がオリジナルコードと完全に一致すること。つまりソースマップが不要になり、スタックトレースがそのまま読めるんです。

なぜ今まで時間がかかったのか

この機能、実は2024年8月のNode.js v22.6.0から実験的機能として存在していました。そこから約1年半かけて、段階的に安定化が進められてきたわけです。

振り返ってみると、v22.7.0でenumやnamespaceの変換サポートが追加され、v22.18.0でデフォルト有効化、そしてv25.2.0でついにStable（安定版）に昇格。このペースを見ると、Node.jsチームがかなり慎重に進めてきたことがわかります。

個人的には、この慎重さは正解だったと思います。TypeScriptはエコシステムの中核技術になっているので、中途半端な実装で問題が起きると影響範囲が広すぎる。

技術的な仕組みを深掘りする

内部実装としては、amaroというローダーが使われていて、これはSWCのTypeScriptパーサー（WebAssembly版）をラップしたものです。SWCはRust製の高速コンパイラなので、処理速度は従来のtscと比較にならないくらい速い。

具体的な数字を出すと、Bloombergが開発したts-blank-space（Type Strippingの参照実装）の計測では、52,000行のTypeScriptファイルのコンパイルがtscの5.6倍速かったそうです。

この速度差の理由はシンプルで、従来のtscが「解析→変換→コード生成」の3ステップを踏むのに対し、Type Strippingは「型情報の削除」という1ステップだけで完結するから。型チェックもやらない、コード変換もしない、ただ消すだけ。

使えるTypeScript構文と使えない構文

ここが実務で一番気をつけるべきポイントです。Type Strippingで処理できるのは「削除可能（Erasable）な構文」だけ。

処理できる構文としては、インライン型注釈（const x: number）、インターフェース定義、型エイリアス、ジェネリック型パラメータ、import typeステートメントなど。基本的な型定義はほぼカバーされています。

一方、enumやランタイムコードを含むnamespaceは「非削除可能（Non-erasable）」とされていて、デフォルトではエラーになります。これらを使いたい場合は--experimental-transform-typesフラグが必要です。

また、.tsxファイル（JSX）とDecorator構文は現時点で非サポート。特にReactプロジェクトでは、TSXが使えないのは痛いかもしれません。

実務での使い方

開発環境での型チェックはNode.js側では一切実行されないので、別途tscを走らせる必要があります。

# 型チェック（IDE統合またはCI/CDで実施）
tsc --noEmit

# ファイル実行
node script.ts

推奨されるtsconfig.jsonの設定はこちら。

{
  "compilerOptions": {
    "noEmit": true,
    "target": "esnext",
    "module": "nodenext",
    "rewriteRelativeImportExtensions": true,
    "erasableSyntaxOnly": true,
    "verbatimModuleSyntax": true
  }
}

erasableSyntaxOnlyはTypeScript 5.8で導入された新しいオプションで、これを有効にすると非削除可能な構文（enum等）を使った時点でtscがエラーを出してくれます。Node.jsのType Strippingと互換性のあるコードだけを書くよう強制できるわけです。

型インポートの書き方に注意

地味だけど重要なのが、型をインポートする時にtypeキーワードを明示的に使う必要があること。

// 正しい書き方
import type { User, Admin } from './types.ts';
import { getUserData, type UserResponse } from './api.ts';

// ダメな書き方（ランタイムエラー）
import { User, Admin } from './types.ts';