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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

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

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