読者です 読者をやめる 読者になる 読者になる

ぱたーんまっちんぐ

OCaml
....
  | pattern1 when cond -> body
  | pattern2 when cond -> body
....

では、

  1. pattern1にマッチ
  2. condをテスト → 失敗
  3. pattern2にマッチ
  4. condをテスト → OK
  5. bodyの評価

となる。

....
  | pattern1 | pattern2
    when cond
      -> body
....

では、同じ入力に対して

  1. 「pattern1かpattern2」のうちpattern1にマッチ
  2. condをテスト → 失敗
  3. パターンマッチ失敗

となる。

全然違ってた。

こういう部分では、インデントや改行に迷ってしまう。