タグ付き型

この言語では、実行時に型情報を保持するためにタグ付き型が利用されている。

タグ付き型を用いることで、コンパイル時には分からないデータの種類を安全に判別できる。

バリアント型の実装において、タグ付き型の構造は非常に一般的な設計パターンだ。