match式の仕様を見直したい

[marihachi]

Related to #359

主に中置演算子(infix)の構文とぶつかる問題があるため。

以下のようなコードがあるとき

match x {
  1 => "a"
  2 => "b"
  * => "c"
}

"b" *以降の部分が中置演算子として解釈されて、構文エラーになる

これまでは中置演算の途中で改行をはさめないように(エスケープすれば可能)することで、
ぶつかるのをなんとか回避していたが、いっそ仕様を変えてしまいたい。

余談:
新しいパーサーではスペーシングの1つである改行を特別扱いしたくないという気持ちがある
パーサーの複雑化を招く原因になると思う

区切り文字を置けば中置演算子と干渉しなくなる。

コンマ区切り？

match x {
  1 => "a",
  2 => "b",
  * => "c",
}

セミコロン区切り？

match x {
  1 => "a";
  2 => "b";
  * => "c";
}

行頭にキーワードを置いても良さそう
この場合は区切り不要にできる

match x {
  case 1 => "a"
  case 2 => "b"
  default => "c"
}

[marihachi]

CC: @syuilo

[FineArchs]

キーワードに一票です

新しいパーサーではスペーシングの1つである改行を特別扱いしたくないという気持ちがある

今まで改行で区切っていた所を全部何らかの区切り文字に置き換えるみたいな感じですか？

[marihachi]

@FineArchs

今まで改行で区切っていた所を全部何らかの区切り文字に置き換えるみたいな感じですか？

少し複雑なんで説明が難しいんですが、
パーサーで文字列中のある部分をどの構文として処理させるかを制御する話です。
match文の各行の構文規則は

<式> "=>" <式またはブロック>
"*" "=>" <式またはブロック>

という形になっています。
<式またはブロック>には1 * 2のような中置演算も含まれるので、
以下のような入力があった時：

match x {
  1 => "a"
  2 => "b"
  * => "c"
}

"b", 改行やスペース, *と来た段階でその部分は中置演算だろうと誤認識されます。
matchの各行に区切りを導入すればこの誤認識は起こらなくなるだろう、という感じです。

[FineArchs]

ありがとうございます。

match x {
  1 => "a"
  2 => "b"
  [*] => "c"
}

とかもありですかね？

[marihachi]

[]はインデックスアクセスの意味を持っていますね...
トークナイズの段階で[*]の塊で切り出せば問題ないかもです

[syuilo]

キーワードかなー

[marihachi]

キーワードで区切り不要でいく？
使うキーワードとかどうしようね

[salano-ym]

改行で文を区切りを表す以上ある程度特別扱いになるのはしょうがない気もします

[FineArchs]

match x {
  1 => "a"
  2 => "b"
  else => "c"
}

とか…？
個人的には*がついていた場所以外は以前同様であって欲しいです（* =>を機械的に置き換えるだけで既存スクリプトの修正ができるため）

[marihachi]

今のmatch式の仕様が重要であれば、新パーサーでもなんとか処理することも可能かもしれません。
重要ではなければ仕様を変える方が楽です。

[marihachi]

構文規則上は式が2つ続くことになるので、今は見つかっていませんが他にも干渉する可能性がありそうです...

[FineArchs]

ならやはり

match x {
 case 1 => "a"
 case 2 => "b"
 default => "c"
}

が良さそうですかね？（caseとelseは見た目が紛らわしいので併用を避けたい）