Qiita 6 - キータぞ、来たぞ、キータだぞー (943ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
880(1): 08/25(月)14:11 ID:srlPQ0qE(2/4) AAS
パターンマッチは、マッチ試行と名前束縛（およびその名前を用いた何らかの処理）という複数のプロセスに分解して理解できるという話と、特定の言語の言語仕様上、それをまとめてパターマッチと呼ぶことがあるという話は普通に両立する話だと思うんだが。
代入をいわゆる変数パターン・キャプチャパターンとのマッチとして整理するという考え方は十分ありうるところだけど、その場合でもマッチ試行と名前束縛というフェイズ分けはできるわけで。
881: 08/25(月)14:31 ID:ZhfKELAH(1) AAS
>>880
パターンマッチは型が決まれば任意の値に対して必ず成功するパターンと
値次第で成功も失敗もありうるパターンの二つに明確に二分される
前者にはマッチ試行なんて概念は出てこない
いきなり名前束縛のみが起きる
通常の束縛や代入文で現れるパターンマッチングはこれ
マッチ試行なんてフェーズはない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s