自定义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 ( ) [ ] { } , : ; ... _ | = => -> # 

....

标识符是字母数字 ：任何字母，数字或素数（'）和下划线（_）的序列，以字母或素数开头，或符号 ：以下符号的任何非空序列：

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

但是，在任何一种情况下，都不包括保留字。 这意味着例如＃和| 不是标识符，而是##和| = | 是标识符。 这个规则的唯一例外是symbol =，它是一个保留字，也被允许作为代表等式谓词的标识符。