"正方形"タプルのOcamlパターンマッチング？

Question

Ocamlや関数型言語の一般的な学習を試みる中で、私はパターンマッチングについて検討してきました。

4タプルの各要素が等しいように整数4タプルが入力されたときには、trueと評価される式を作成します。これは、this documentationです。

（4、4、4、4） - >true

（4、2、4、4） - > Iは見つけるfalse

その値の特異性についてパターンマッチングを行います要素は明白ではない。これは私が書いたコードです。もちろん

let sqr x = match x with 
    (a, a, a, a) -> true 
| (_, _, _, _) -> false ;; 

、このコードは、次のエラースロー：

Error: Variable a is bound several times in this matching

の他にどのように私は、xが4組であることを強制することができないだけでなく、等しい厳密整数の？

（もちろん、正方形のタプルは正の整数ではないはずですが、今のところ私は上記の問題にもっと関心があります）。 `

Answer 1

他の言語のパターンマッチングシステムとは異なり、OCamlではこれを行うことはできません。

は

let sqr x = 
    match x with 
    | (a, b, c, d) when a = b && b = c && c = d -> `Equal 
    | (a, b, c, d) when (a < b && b < c && c < d) 
        || (a > b && b > c && c > d) -> `Ordered 
    | _ -> `Boring 

Answer 2

あなたはパターンマッチングを行うための多くの方法を持っている、パターンマッチングではありません。何ができること（同等のような）いくつかのプロパティは、それら全体で保持している場合にのみ成功するために警備員を使用しながら、個別のタプルの各要素を一致さですここで試合キーワード

let fourtuple_equals (a,b,c,d) = List.for_all ((=) a) [b;c;d] 
val fourtuple_equals : 'a * 'a * 'a * 'a -> bool = <fun> 

を使用している場合にのみ、あなたの4つの要素のタプルにアクセスするために、パラメータに直接パターンマッチングを持っています。

この例では、リストを使用してより簡潔なコードを作成しますが、効率的ではありません。