标识符

请参见官方用户手册获取此页面上信息的最新版本。

A类名称部分是可打印Unicode字符的非空序列包含以下任何保留字符。

@.(){};_

此外，以下保留字集不能用作名称部分。

->         :         =        ?        \           |          →         ∀        λ在中缀中缀中隐藏所有导入的抽象数据让模块相互开放假设原始私有公共记录使用where-with-field codata构造函数重命名重写道具设置[0-9]*[0-9]+quote quoteGoal quoteTerm unquote语法；

这意味着像这样的字符串x： A类和A类→B类都是有效的姓名。要编写类型签名和函数类型，必须插入空白：x：A、和A类→ B类.

A类名称是交替名称部分的非空序列，并且_（不包括单例_). 包含以下内容的名称_可以用作运算符，其中参数取代_例如名称的应用如果（T）hen_else_到个参数x个,年、和z（z）可以作为普通应用程序编写if_then_else x y z或作为操作员应用程序如果x，那么y，否则z。请参阅米克斯菲克斯了解更多信息。

A类限定名是一个非空的名称序列，由.（点）。限定名用于引用其他模块中的实体。