反駁不可パターン

irrefutable pattern

先にとりあえず「変数の束縛」に成功させておき，その後改めて評価を行う

なんでこういう話が出てくるか

パターンマッチと遅延評価を組み合わせると、どういう順序で簡約されるかによって、パターンのマッチングに失敗することがある

失敗する例

code:hs

two = const 2 -- two :: Int -> Int

(\(x,y) -> two y) (100,100) -- 成功する例

(\(x,y) -> two y) undefined -- error !!

つまり、パターンの照合が早すぎる

code:簡約手順

(\(x,y) -> two y) undefined

→ \undefined -> two y -- こうできないのでエラー！

→ two undefined -- ここで、問題ないのでエラーさせたくない！

→ 2

これを解決する

@

code:ex.hs

f s@(x:xs) = x:s

以下の2つを同時に使える感じ

code:hs

f s = ...

f (x:xs) = ...

これって言うほど反駁不可パターンか？

code:hs

// これはエラーにならない

(\_ -> two y) undefined

普通の変数

code:hs

// これはエラーにならない

(\y -> two y) undefined

ユースケース

refutable pattern

照合が成功しないことがある

日本語が指している意味がわからない

asパターン失敗することある区内？

code:hs

Prelude> (\ v@(x,y) -> twelve v) undefined

*** Exception: Prelude.undefined

これは失敗ではない？

「反駁」ってそもそもなに？

参考