型を確かめるのは誰で、いつか

実演は Docker の aarch64 環境、TypeScript 5.9.3 と Node v24.21.0 です。

type User = { name: string; age: number };
const raw: unknown = JSON.parse('{"name":"kazu"}');
const u = raw as User;                 // コンパイラへの主張。実行時の検査は無い
console.log(typeof u.age, u.age + 1);  // undefined + 1
function twice(n: number): number { return n * 2; }
console.log(twice("21" as unknown as number));
type Point = { x: number }; type Meters = { x: number };
const p: Point = { x: 1 }; const m: Meters = p; // 構造が同じなら通る
console.log(m);

--- $ node /w/a.ts   (no flags)
undefined NaN
42
{ x: 1 }
[exit 0]
--- $ tsc --strict --noEmit --target es2022 /w/a.ts
[exit 0]

Node の出力が3行、tsc は --strict でもエラー0件で [exit 0] です。age を持たない値が User として通り、u.age + 1 は NaN になりました。

as unknown as と二段にしているのには理由があります。"21" as number と直接書くと、tsc は拒否します。

../tmp/w.ts(1,11): error TS2352: Conversion of type 'string' to type 'number' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.

「as は何でも通す」は言い過ぎです。重なりの無い変換は止められ、エラーメッセージ自身が unknown を経由する抜け道を案内しています。 経由すれば、tsc はもう何も言いません。

では Node は .ts をどう実行したのか。v24 の文書はこう書きます。

By default Node.js will execute TypeScript files that contains only erasable TypeScript syntax. Node.js will replace TypeScript syntax with whitespace, and no type checking is performed.

同じ文書の履歴では、型除去は v23.6.0 で既定になり、v24.12.0 で安定版になっています。実機でも process.features.typescript は strip でした。Node は TypeScript を理解して実行しているのではなく、型の構文を消して JavaScript として実行しています。 旧名の --experimental-strip-types も v24.21.0 でまだ受け付けます。

同じ twice を Python 3.14.7 で書きます。

def twice(n: int) -> int:
    return n * 2
print(twice("21"))
print(twice.__annotations__)
try:
    "1" + 1
except TypeError as e:
    print("TypeError:", e)

2121
{'n': <class 'int'>, 'return': <class 'int'>}
TypeError: can only concatenate str (not "int") to str

注釈は __annotations__ に int として残っています。残っているのに、誰も照合していません。 "21" * 2 は文字列の繰り返しとして正しい演算なので、2121 が返ります。一方、"1" + 1 は実行時の演算が拒否しました。Python は型を検査しています。検査の対象が注釈ではなく演算だ、というだけです。

実行前に止める側の例として、Go(go1.27.1)で基底型が同じ2つの型を足します。

type Celsius float64
type Fahrenheit float64
// main の中
var c Celsius = 100
var f Fahrenheit = 212
fmt.Println(c + 1.5)       // 型なし定数は通る
fmt.Println(c + f)         // 名前が違うので通らない

# command-line-arguments
./m.go:14:14: invalid operation: c + f (mismatched types Celsius and Fahrenheit)

上のコードは抜粋で、14行目は元ファイルの行番号です。エラーはこの1件だけで、c + 1.5 は通っています。これは型なし定数の規則によるもので、構造で型を比べた結果ではありません。