infix 3 ..错误。 允许或不允许使用哪些字符来定义自定义中缀? 我在哪里可以找到在线列表?

谢谢

===============>>#1 票数:4 已采纳

您可以添加任何不合格的标识符。

以下是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 =,它是一个保留字,也被允许作为代表等式谓词的标识符。

  ask by AJcodez translate from so

未解决问题?本站智能推荐:

2回复

如何在SML中反转自定义列表?

我的自定义数据类型定义如下:数据类型'a mylist = NIL | CONS of 'a * 'a mylist; 'a mylist = NIL | CONS of 'a * 'a mylist; 尝试了几个小时,但无法弄清楚如何反转这样的列表。 我的代码不起作用: 这
1回复

SML中的自定义数据类型

我是第一次玩SML中的数据类型。 我用四种扑克牌定义了一个称为西服的数据类型 现在,我想编写一个函数,该函数需要一个西装并返回它的字符串表示形式。 这是目前 它可以编译,但是当我尝试用每套西装称呼它时 我得到这个错误 而且不知道为什么。 任何帮助将不胜感
1回复

没有polyEqual的SML自定义数据类型相等

我正在尝试编写一个函数来检查类型相等性,而忽略实例变量(不确定这是否是SML的正确术语)。 优选地,该功能可以对多种数据类型进行操作。 所以,如果我有: 数据类型D = A | B int; myEqual AA , myEqual (B 1) (B 1)和myEqu
1回复

匹配SML中的两个自定义数据类型

我有两种自定义数据类型, 我应该实现一个功能 得到一个表达和一个模式。 如果可以进行匹配,则返回SOME (list of bindings) ,否则返回NONE 。 匹配应通过以下方式完成: 在表达式和列表(表达式*模式)的元组上定义匹配项。 表达式和模式可以匹
2回复

如何自定义SML / NJ交互式循环?

我是标准ML的新手,我正试图了解SML / NJ运行时环境。 我想根据我的需要调整它。 具体来说,我想: 默认情况下使用IntInf 防止它将字符串和IntInf截断为70个字符。 这是我在8个多小时阅读文档和实验中发现的内容。 我可以使用命令在Int的顶部重
2回复

SML / NJ新手。 制作自定义插入功能

定义一个函数,给定一个列表L,一个对象x和一个正整数k,返回一个L的副本,其中x插入第k个位置。 例如,如果L是[a1,a2,a3]并且k = 2,则返回[a1,x,a2,a3]。 如果L的长度小于k,则插入末尾。 对于这类问题,你不应该使用例如长度函数。 想想函数如何计算长度。
1回复

检查是否在SML中定义了函数

给定SML源文件,是否可以检查(使用Poly / ML)是否定义了函数/值名称列表? 如果是这样,怎么样? 或者,我注意到您可以执行以下操作。 假设我们有一个名为somefile.sml的源文件。 假设我们创建文件test.sml ,其中包含以下内容: 然后我们运行:
1回复

在SML中定义类型?

如果我想检查字符串是否以字母开头,而其余字符可以是字母或数字,那么我将如何定义由这些条件定义的数据类型? 还是将模式匹配作为更好的途径?如果是,我将如何检查呢?
1回复

SML如何定义适当的选项

为什么以下代码不起作用? 当我将SOME删除而不是NONE时,此代码很好用,而不是NONE。 我知道对于空列表的总和,零是合理的答案。 但是,以下示例为何失败? 更新:通过遵循迭戈的答案使其工作:
1回复

是否有内置函数检查SML中的数字是否为整数

sml中是否有内置的整数函数? 我的意思是: 我必须从文件中读取一个数字,如果它是整数,则将其显示为输出,如果数字不是整数,则会引发异常。 例如我必须检查(Int.fromString())的输出是否为整数并显示是否为...(上面重复)