代数的データ型は木構造で表現されるとあるが、どのような構造になるのかよくわからない の回答を受けて実際にコードを書いてみてよくわからないところが出たので別の質問として投稿します。
data Tree = Empty
| Leaf Int
| Node Tree Tree
v = Node (Leaf 100) (Node (Leaf 200) (Leaf 300)) -- OK
w = Empty -- OK
x = Node(Empty) -- OK
y = Node(Node(Empty), Node(Empty)) -- NG
z = Node(Empty, Empty) -- NG
上記コードを書いてみたところ
y = Node(Node(Empty), Node(Empty)) -- NG
箇所のエラーは
<playground>:8:9: error:
• Couldn't match expected type ‘Tree’
with actual type ‘(Tree -> Tree, Tree -> Tree)’
• In the first argument of ‘Node’, namely
‘(Node (Empty), Node (Empty))’
In the expression: Node (Node (Empty), Node (Empty))
In an equation for ‘y’: y = Node (Node (Empty), Node (Empty))
となりました。
z = Node(Empty, Empty) -- NG
箇所のエラーは
<playground>:9:9: error:
• Couldn't match expected type ‘Tree’
with actual type ‘(Tree, Tree)’
• In the first argument of ‘Node’, namely ‘(Empty, Empty)’
In the expression: Node (Empty, Empty)
In an equation for ‘z’: z = Node (Empty, Empty)
となりました。そもそも、回答のコメントにも書いたとおり、木構造の端にEmptyを置くのも変なので、このエラーは役に立つと思うのですが、Node (Leaf 200) (Leaf 300)
が許されて、Node (Empty, Empty)
がコンパイルエラーの理屈がわかりません。コンストラクタの理解が甘いのでしょうか?
エラーとは話がそれてしまいますが
x = Node(Empty) -- OK
の書き方もおそらくTree
作者の意図した使い方ではないと思っています。下記のようにいきなり Empty
であれば納得感が高いです。
w = Empty -- OK
Haskellを書いているツールはあんまり関係ないと思いますが念の為記載します。Haskell on the Mac App Store で Haskellを書いています。
Node (Leaf 200) (Leaf 300)
とパラレルなのはNode Empty Empty
です(複数引数を食べさせるときにタプルを使う必要はない)…ので、その辺整理するとわかりやすいのではないでしょうか。()
とタプルを見間違えているのかも。そもそも関数呼び出し的な()
はコンストラクタに書いたら駄目なんでしょうか。他の言語でいうHoge.new()
みたいな。Node (Leaf 200) (Leaf 300)
にあるかっこは、結合の優先順位をつけるためです(ないと、Node
がLeaf
と200
を別々に引数にとる)。Node (Empty) (Empty)
は OK です。f ()
みたいなのがあったら、それはf
を呼び出しているのではなく、f
に引数として空タプル()
を渡しているのです。map succ [1,2,3]
とmap (succ, [1,2,3])
は異なります。