Skip to main content
本文に 43 文字追加
ソース リンク
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と同じ意味と考えられる。

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

いまいち()つけるタイミングと箇所がわからない。

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

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

いまいち()つけるタイミングと箇所がわからない。

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

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

いまいち()つけるタイミングと箇所がわからない。

本文に 536 文字追加
ソース リンク
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と同じ意味と考えられる。

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

いまいち()つけるタイミングと箇所がわからない。

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

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と同じ意味と考えられる。

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

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

いまいち()つけるタイミングと箇所がわからない。

本文に 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) -- 該当箇所
babarbarbar = bar Empty -- Node Empty Empty

main = print $ barbar

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

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

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) -- 該当箇所
babar = bar Empty -- Node Empty Empty

つまり部分適用されている。

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

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によって削除が取り消された投稿
削除済み投稿 (投票者: shingo.nakanishi
ソース リンク
shingo.nakanishi
  • 6,543
  • 8
  • 59
  • 99
読み込んでいます