次の項目のタイムライン: Couldn't match expected type ‘Tree’ with actual type ‘(Tree, Tree)’ になる理由がわからない
現在のライセンス: CC BY-SA 4.0
9 件のイベント
日時 書式を切り替える | 内容 | ユーザー | ライセンス | コメント | |
---|---|---|---|---|---|
2020年8月29日 6:39 | 履歴 | 編集日時 | cubick♦ | CC BY-SA 4.0 |
本文から 2 文字削除
|
2020年8月29日 6:32 | コメント | 追加済み | Yosh |
Haskell で () は関数呼び出しではないのです。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]) は異なります。
|
|
2020年8月29日 3:27 | 回答 | 追加済み | nekketsuuu♦ | タイムライン スコア: 2 | |
2020年8月29日 2:23 | 回答 | 追加済み | shingo.nakanishi | タイムライン スコア: 0 | |
2020年8月29日 1:25 | コメント | 追加済み | shingo.nakanishi |
あー もしかして、関数呼び出し的な() とタプルを見間違えているのかも。そもそも関数呼び出し的な() はコンストラクタに書いたら駄目なんでしょうか。他の言語でいう Hoge.new() みたいな。
|
|
2020年8月29日 1:17 | コメント | 追加済み | Yosh |
Node (Leaf 200) (Leaf 300) とパラレルなのは Node Empty Empty です(複数引数を食べさせるときにタプルを使う必要はない)…ので、その辺整理するとわかりやすいのではないでしょうか。
|
|
2020年8月29日 1:15 | 履歴 | 編集日時 | shingo.nakanishi | CC BY-SA 4.0 |
本文に 55 文字追加
|
2020年8月29日 1:03 | 履歴 | 編集日時 | shingo.nakanishi | CC BY-SA 4.0 |
本文に 5 文字追加
|
2020年8月29日 0:46 | 履歴 | 質問を投稿 | shingo.nakanishi | CC BY-SA 4.0 |