KDOC 558: 文芸的に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)

関連