head' :: [a] -> a
head' [] = error "No head for empty lists!"
head' (x:_) = x
head' :: [a] -> a
head' xs = case xs of [] -> error "No head for empty lists!"
(x:_) -> x
私はわかりませんがかなり簡単な
ブール関数を分解するための関数を書いたが、問題はコンパイル結果に「警告5：この関数のアプリケーションが部分的で、多少の引数がない」ということです。 この問題を解決するにはどうすればよいですか？ let rec decomposition state_init state prec formula =
match formula with
And form -
皆さん、私はOCamlとパターンマッチングにはかなり新しいので、これを理解しようとするのは苦労していました。 タプルのリストがあるとします。私がしたいのは、タプルの最初の要素に基づいてタプルの1つにパラメータをマッチさせることです。タプルの2番目の要素を返したいとします。したがって、たとえば、私はこのような何かをしたい：私はmap_left_to_right「B」リストを使用している場合 let
だからGHCiのを使用して、これらのステートメントは等価ですend0でリスト式はEND1でリスト式のシンタックスシュガーであるため、私には理にかなっている： let end0 [x,y,z] = z
let end1 (x:y:z:[]) = z
しかしEND1のパターンのうち、括弧を取ることは私を与えます「パターンの解析エラー」エラー。ではなぜですか？括弧はパターンマッチで特別な意味を持