Ocamlパターンは、そのアーティーとは独立してデータコンストラクターと一致します

Question

コンストラクターアリティとは独立したコンストラクターとパターンマッチングする方法はありますか？ときどきパターンマッチでは、コンストラクタだけが気になりますが、それに関連付けられたデータは気にしません。

私は、ADTのコンストラクタのアリティを変更すると、すべての「フィールド」を破棄するパターンマッチ（すべてのパターンマッチを変更する必要があります）を実行する必要があります。データコンストラクタ

私は複数のコンストラクタ

(* time * message *) 
type log_message = 
    Warning of float * string 
    | Error of float * string 

とADTを持っていると私は、このタイプの値を検査し、だけ私は場合

let is_error_message x = match x with 
    | Warning _, _ -> false 
    | Error _, _ -> true 

のようなものを記述する必要がコンストラクタを気にするとします後で戻って警告に重大度フィールドを追加して、私に与えたい

is_error_messageのパターンに新しいワイルドカードを追加して、タイプチェッカーを満たす必要があります。

let is_error_message x = match x with 
    | Warning _, _, _ -> false 
    | Error _, _ -> true 

Answer 1

型定義

type log_message = 
    | Warning of float * string 
    | Error of float * string 

両方のコンストラクタ（WarningとError）は、2つの引数を受け入れるのではなく、それらの積（すなわちタプル）しないことを意味します。次のようにだから、instatiate：あなたがコンストラクタに渡されたパラメータを気にしない場合

Warning (4.0, "you better be warned") 

この変形のインスタンス上でパターンマッチングを行う、あなただけ（任意の長さのタプルを指定する_を使用することができます）：

type log_message = 
    | Warning of float * string 
    | Error of float * string;; 

let is_error_message x = match x with 
    | Warning _ -> false 
    | Error _ -> true;; 

is_error_message (Warning (2.0, "totally not an error"));; 
- : bool = false