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