TypeScriptで代数的データ型

これしかできないと思っていたこと

type Noodle = 
  | "Soba"
  | "Ramen"

本格的な関数型言語と違って、それそれの選択肢にパラメーターはつけられないのかと思っていたら。。

実際はできること

Discriminated Union を使うことで、似たようなことができた。

interface Soba {
  kind: "Soba",
  sobaRatio: number,
}

interface Ramen {
  kind: "Ramen",
  taste: "Jiro" | "Trad" | "Others"
}

type Noodle = 
  | Soba
  | Ramen

const x: Noodle = ...
if (x.kind === "Soba") {
  ...
} else if (x.kind === "Ramen") }
  ...
} else {
  const _: never = x
}

網羅性チェックはできるが、パターンマッチングはない。