Qiita 6 - キータぞ、来たぞ、キータだぞー

[過去ﾛｸﾞ] Qiita 6 - キータぞ、来たぞ、キータだぞー (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

883: デフォルトの名無しさん [sage] 08/25(月)14:59 ID:ObvBiXjx(1/2)
対象となる型とパターンによって、静的にrefutableか否かが確定する。
irrefutableなパターンには、マッチ試行という行為どころかその概念すら存在しない。

885: デフォルトの名無しさん [sage] 08/25(月)15:31 ID:ObvBiXjx(2/2)
irrefutableなパターンは必ずマッチし必ず束縛が起きる。
match文のような試行による場合分けを必要としない。
irrefutableか否かは実行前に静的に判明する。