コメントを受けて自己回答してみます。
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
と同じ意味と考えられる。
y = Node(Node(Empty), Node(Empty)) -- NG
の箇所を無理に正しく書こうとすると下記の感じだろうか?(そもそも()
の中に,
がある時点でタプルと解釈されると考えてしまってよさそうなので、タブルを受け取らないコンストラクタ付近に(,)
を書いてるとおかしいと気づけそう)
Foo.hs
data Tree = Empty
| Leaf Int
| Node Tree Tree deriving Show
y = Node (Node Empty Empty) (Node Empty Empty)
main = print $ y
実行:
% docker run -it --rm --name bar-haskell -v "$PWD":/tmp -w /tmp haskell:8 runghc Foo.hs
出力結果:
Node (Node Empty Empty) (Node Empty Empty)
下記のようにすると部分適用した(?)したNodeを2つ持てるのかと思ったがエラーになってしまった...
data Tree = Empty
| Leaf Int
| Node Tree Tree deriving Show
y = Node (Node Empty) (Node Empty)
main = print $ y
いまいち()
つけるタイミングと箇所がわからない。