6.5 定数

constant ::= integer-literal
| float-literal
| char-literal
| string-literal
| constr
| false
| true
| []
| ()
| ` tag-name

定数の文法クラスには 4 つの型のリテラル(整数、浮動小数点数、文字、文字列)、通常のバリアントと多相バリアントの定数構成子があり、それに加えて、特別な定数 falsetrue[]、そして () があります。これらは定数構成子のように振る舞います。