Qiita 6 - キータぞ、来たぞ、キータだぞー (951ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
877(1): 08/25(月)09:56 ID:EO/zzaZJ(1) AAS
単純代入や単純束縛だと変数名が確定しているから変数名が先に来るのもわかる
しかしパターンマッチングが主流の現代だと値はマッチング前に既に確定しているが
複数のパターンが並んでいてその中に変数が0個～複数個と各々で存在しどの変数がマッチするか実行まで決まらない
すると順に「値を」「(各々の)変数に」「束縛(成功または失敗)」というイメージが正解っぽくみえる
884: 08/25(月)15:21 ID:nKaFri9X(1) AAS
そんなに難しいことを言っているつもりはないんだけどな。
たとえばPythonのmatch文なら、各caseブロックに掲げられているパターンのいずれかにマッチしてそのcaseブロックのコードが実行されるのか、あるいはどのパターンにもマッチしないのかということが決定されるプロセスのことを便宜上「マッチ試行」と呼んでいるだけなんだが。
用語法が気に入らないというなら別に他の用語でもいいけれど、どこに引っ掛かっているのか、元の>>877との関係で何を主張したいのかがよく分からないな。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.924s*