前置き
下記の例のように代数的データ型は木構造で表現されるという説明がありますが、どのような構造になるのかいまいち理解できません。
代数的データ型(algebraic data type)とは,図のように木構造で表現される値からなるデータ型のことです. 配列のような一部の例外を別とすれば,Haskell で取り扱うあらゆるデータ型は代数的データ型です.
もう少しきちんと説明すると,代数的データ型は項(term)の形で表されるデータの集合を定義するデータ型です.
Algebraic data type - Wikipedia
For a slightly more complex example, binary trees may be implemented in Haskell as follows:
data Tree = Empty | Leaf Int | Node Tree Tree
質問
Shape型
data Shape = Rect Double Double
この Shape
はどのような木構造になるのでしょうか?
下記答えになりそうなもので考えたものを列挙します。
たぶん違うんじゃないかと思いながら書いたイメージ
こんな感じですか?
Rect
├── Double
└── Double
それともこんな感じ?(下記自分でもなにを書いているのかよくわかってないですが強引に書いてます)
Shape
└── Rect(Double, Double)
おそらく一番正解に近そうと思いながら書いたイメージ
おそらく一番正解に近そうなものは下記と推測
Rect
└── Double
└── Double
具体的な数値の場合
Doubleは複数の値を取り得るので、実際に値を与えた感じは下記のような感じでしょうか(数字は適当)。
Rect
├── 2.0
│ └── 1.0
├── 5.0
│ └── 4.0
....
もしくは
Rect
└── 2.0
└── 1.0
や
Rect
└── 5.0
└── 4.0
みたいに具体的な変数ごとに独立して考えるんでしょうか?
おそらく独立のほうが正しいと推測しています、というか Doubleが取り得る値 * Doubleが取り得る値
パターンあるツリーの中から具体的な値を1つずつ選ぶイメージのような気がしてます。
Tree型
一方
Algebraic data type - Wikipedia にある
data Tree = Empty
| Leaf Int
| Node Tree Tree
の Tree
はどのような木構造になるのでしょうか?(これでバイナリーツリーのようですがよくわかりません)
こんな感じでしょうか?
Tree
├── Empty
├── Leaf
│ └── Int
└── Node
├── Tree
│ └── 以下略
└── Tree
└── 以下略