clojure => core.matchとのパターンマッチング

備考

core.matchライブラリは、レイジーパターンマッチングから「必然性」という概念を使用するパターンマッチコンパイルアルゴリズムを実装しています。

マッチングリテラル

(let [x true
      y true
      z true]
  (match [x y z]
     [_ false true] 1
     [false true _ ] 2
     [_ _ false] 3
     [_ _ true] 4))

;=> 4

ベクトルのマッチング

(let [v [1 2 3]]
  (match [v]
    [[1 1 1]] :a0
    [[1 _ 1]] :a1
    [[1 2 _]] :a2))  ;; _ is used for wildcard matching

;=> :a2

マップのマッチング

(let [x {:a 1 :b 1}]
   (match [x]
     [{:a _ :b 2}] :a0
     [{:a 1 :b _}] :a1
     [{:x 3 :y _ :z 4}] :a2))

;=> :a1

リテラルシンボルのマッチング

(match [['asymbol]]
  [['asymbol]] :success)

;=> :success

Modified text is an extract of the original Stack Overflow Documentation

ライセンスを受けた CC BY-SA 3.0

所属していない Stack Overflow