另请参见以下语言扩展：扩展字面量.
常量语法类别包括来自四种基本类型（整数、浮点数、字符、字符串）的字面量，整数变体，以及来自普通变体和多态变体的常量构造器，以及特殊常量 false、true、()、[] 和 [||]，它们的行为类似于常量构造器，以及 begin end，它等效于 ()。