KDOC 558: twoslash記法でTypeScriptの型を文芸的に観察できる

この文書のステータス

  • 作成
    • 2026-05-13 貴島
  • レビュー
    • 2026-05-13 貴島

概要

TypeScriptでは、エディタ上で、型が変動していく(ナローイング)様子を観察できる。これを文芸的に表現したいと考えたとき、 twoslash 記法というものが使えるようである。

Emacsのorg-modeで使えるようにした。 

const a: string | null = "a"
//    ^?
if (a !== null) {
   a
// ^?
}

const a: string | null (line 1)
const a: string (line 3)

type Vec3D = Record<'X' | 'Y' | 'Z', number>;
//   ^?

type Vec3D = {
    X: number;
    Y: number;
    Z: number;
} (line 1)

関連

抽象。

  • 同じ名前の型が、コードの位置ごとに絞り込まれて変わる
  • エディタで一時的に見える情報を、文書に結果として残す

関連。