sml - カスタム sml インフィックスの文字のホワイトリストまたはブラックリストはありますか?

Question

infix 3 ..エラーが出ます。カスタム インフィックスの定義に使用できる文字と使用できない文字は? オンラインのどこでリストを見つけることができますか?

ありがとう

Answer 1

修飾されていない識別子を挿入することができます。

以下は、SML 90' 定義からのものです。

以下は、Core で使用される予約語です。これらは (= を除いて) 識別子として使用できません。

abstype and andalso as case do datatype else
end exception fn fun handle if in infix
infixr let local nonfix of op open orelse
raise rec then type val with withtype while
( ) [ ] { } , : ; ... _ | = => -> #

....

識別子は、英数字: 文字またはプライムで始まる文字、数字、またはプライム (') とアンダーバー (_) の任意のシーケンス、またはシンボリック:次の記号の空でない任意のシーケンス のいずれか です。

! % & # + - / : < = > ? @ \ ~ ' ^ | *

ただし、いずれの場合も予約語は除きます。これは、たとえば # と | を意味します。は識別子ではありませんが、## および |=| です。識別子です。この規則の唯一の例外は、予約語である記号 = も、等価述語を表す識別子として使用できることです。