問題タブ [non-exhaustive-patterns]

triplizeつまり、要素のコピーを 2 つ作成しようとしています。

だから私はこれを書いた：

しかし、私はこのエラーを受けています:

私はHaskellを初めて使用するので、どんなポインタでも大歓迎です!

まず、最初に String を受け取り、次に Int を取るタプルである Type StudentMark を作成しました。

これは私の capMarks 関数です:

そして、ここに私の capMark 関数があります:

返されるはずです：

から：

ただし、関数にパラメーターを 1 つだけ入力した場合は、正しい期待される応答のみが返されます。次に例を示します。

または

しかし、想定どおりに 2 つ (またはそれ以上) を使用すると、capMarks 関数に非網羅的なパターンがあることがわかります。

テストケース: ¬( p ∨ Q )

ただし、nnf (Not p) = Not (nnf p)関数に追加すると、表示されます

私は何が間違っているのだろうか？

multiples x [y]x は指定された整数、y はリストの形式で、指定された整数の倍数を整数のリストから削除する関数を作成しようとしています。

ここに私が持っているものがあります:

multiples呼び出されると失敗し、「関数の倍数の非網羅的なパターン」と言って失敗します。そこでghci -Wall、どのパターンが欠落しているかを確認するために自分のファイルを使用したところ、次のように返されました。

2行目で本当に単純なものが欠けているような気がしますが、少し行き詰まっています。私は何を間違っていますか？

type を昇格Nat = Suc Nat | Zeroさせたので、 typeclass を作成したいと思いclass C (a :: Nat) bます。GHCにそれを納得させ、すべてのケースinstance C Zero bをカバーする方法はありますか?したがって、クラスのメソッドを使用するたびに、制約としてinstance C (Seq x) b明示的に宣言する必要はありません。Cここにいくつかのコードがあります：

編集:関連する質問は、コメントアウトされたインスタンス if を考えると、repl に例外が発生し、例外が発生しないとC言ったのはなぜですか。noGreet "hi"Just "hi"

こんにちは、私は ML を初めて使用し、次のデータ型のツリーマップ関数を作成しています。

これは私のツリーマップ関数です:

NIL ケースをチェックしていないため、網羅的でない警告が表示されることはわかっていますが、どうすればチェックできますか? 別のものを追加すると、EQUALOPエラーが発生します。どんな助けでも大歓迎です、ありがとう。