是否有用於自定義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 
() [ ] { } , : ; ... _ | = => -> # 

....

標識符是要麼字母數字：字母的任何序列， 數字或素數（'）和下劃線（_）開始以字母或 prime，或符號：以下任何非空序列 符號：

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

但是，在任何一種情況下，都會排除保留字。這意味着 例如＃和|不是標識符，而是##和| = |是 標識符。這條規則的唯一例外是符號=， 這是一個保留字，也被允許作爲標識符以站立 爲相等謂詞。