代数的データ型

直積型と直和型の組み合わせによって、値が取り得る形をコメントや命名規則ではなく型として表現する考え方。

概念URI

https://comcomponent.com/knowledge/algebraic-data-type/

別名・表記

Algebraic Data Type / ADT

下位概念

直積型 / 直和型 / Option型 / Result型

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 代数的データ型は直積型を利用します。代数的データ型は、AとBを両方持つ直積型を構成要素の1つとする / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 代数的データ型は直和型を利用します。代数的データ型は、AまたはBのどちらかである直和型を構成要素の1つとする / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 代数的データ型は閉じたケース集合を前提とします。代数的データ型はケースの集合が業務上ほぼ閉じているものに向いており、外部からケースが増える設計にはインターフェースの方が向く / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• 代数的データ型を.NET Framework / .NETで使う ── 状態と結果を型で表す設計(主要トピック)

一次資料

• https://learn.microsoft.com/dotnet/fsharp/language-reference/discriminated-unions

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。