Skip to main content
2 / 4
本文に 30 文字追加
shingo.nakanishi
  • 6,543
  • 8
  • 59
  • 99

コメントを受けて自己回答してみます。

z = Node(Empty, Empty) -- NG

がNGなのはコメントの通り

(Empty, Empty)

の部分がタプルとみなされてNG。正しくはコメントの通り、

Node Empty Empty

さて

x = Node(Empty) -- OK

がOKな理由は下記のコードで試せる。

data Tree = Empty
          | Leaf Int
          | Node Tree Tree deriving Show
          
hoge = Node Empty Empty -- Node Empty Empty
bar = Node(Empty) -- 該当箇所
barbar = bar Empty -- Node Empty Empty

main = print $ barbar

つまり部分適用されている。 Node(Empty)Node Emptyと同じ意味と考えられる。

shingo.nakanishi
  • 6,543
  • 8
  • 59
  • 99