SML#の字句は，以下の種類がある．

予約語

以下はSML#の予約語であり，識別子には使用できない．

abstype and andalso as case datatype do else end eqtype exception fn fun functor handle if in include infix infixr let local nonfix of op open orelse raise rec set sharing sig signature struct structure then type val where while with withtype ( ) [ ] { } , : :> ; ... _ = => -> #

これら文字列は，以下の識別子の項で定義される言語クラス $⟨$alphaId$\mathrm{⟩}$には含まれない．

SQL予約語

以下の各語は，SQL構文の中では予約語であり， 識別名として使用できない．

asc all begin by commit cross default delete desc distinct fetch first from group inner insert into is join limit natural next not null offset only on or order rollback row rows select set update values where

これら文字列は， 第19章および 第22章で定義される， _sqlで始まるSQL式内では，字句クラス$⟨$alphaId$\mathrm{⟩}$には含まれない． その詳細は第22節で述べる． SQL構文は，Standard MLでは構文として認識されないため， これら制限を追加してもStandard MLとの後方互換性が保たれている．

拡張予約語

_で始まる以下の名前は，SML#の拡張機能を実現するた めに導入された予約語である． これら拡張予約語は，Standard MLでは字句と認識されない語であり， これらを追加してもStandard MLとの後方互換性が保たれている．

__attribute__ _builtin _foreach _import _interface _join _dynamic _dynamiccase _polyrec _require _sizeof _sql _sqlserver _typeof _use

識別子

識別子は，プログラム中で使用される種々の名前である． SML#では，以下の7種類の識別子がある． これら7種類はその使用文脈に応じて区別されるので，同一の名前を別 の用途に使用してよい．

名	用途
$⟨$vid$\mathrm{⟩}$	変数，データコンストラクタ
$⟨$lab$\mathrm{⟩}$	レコードのラベル
$⟨$strid$\mathrm{⟩}$	ストラクチャ名
$⟨$sigid$\mathrm{⟩}$	シグネチャ名
$⟨$funid$\mathrm{⟩}$	ファンクタ名
$⟨$tycon$\mathrm{⟩}$	型構成子名
$⟨$tyvar$\mathrm{⟩}$	型変数

これら識別子の構造は以下の通りである．

$⟨$vid$\mathrm{⟩}$	::=	$⟨$alphaId$\mathrm{⟩}$  $|$ $⟨$symbolId$\mathrm{⟩}$
$⟨$lab$\mathrm{⟩}$	::=	$⟨$alphaId$\mathrm{⟩}$  $|$ $⟨$string$\mathrm{⟩}$  $|$ $⟨$decimal$\mathrm{⟩}$  $|$ $⟨$decimal$\mathrm{⟩}$ _ $⟨$alphaId$\mathrm{⟩}$	（注1）
$⟨$strid$\mathrm{⟩}$	::=	$⟨$alphaId$\mathrm{⟩}$
$⟨$sigid$\mathrm{⟩}$	::=	$⟨$alphaId$\mathrm{⟩}$
$⟨$funid$\mathrm{⟩}$	::=	$⟨$alphaId$\mathrm{⟩}$
$⟨$tyvar$\mathrm{⟩}$	::=	’ $⟨$alphaId$\mathrm{⟩}$  $|$ ’’$⟨$alphaId$\mathrm{⟩}$
$⟨$tycon$\mathrm{⟩}$	::=	$⟨$alphaId$\mathrm{⟩}$  $|$ $⟨$symbolId$\mathrm{⟩}$

注

1. 1.

   レコードラベルは， 文字列ラベル（$⟨$alphaId$\mathrm{⟩}$または$⟨$string$\mathrm{⟩}$）， 整数ラベル（$⟨$decimal$\mathrm{⟩}$）， 順序付き文字列ラベル（$⟨$decimal$\mathrm{⟩}$ _ $⟨$alphaId$\mathrm{⟩}$） の３種類がある． SML#では，レコードは，ラベルの順序に従ってソートされ，メ モリーが割り当てられる． 文字列ラベルの順序は，文字列の順序String.compareである． 数字ラベルの順序は，数字列を自然数と解釈した時の自然数の順序であ る． 順序付き文字列ラベルは，数字ラベルと文字列ラベルが_で連結 されたものであり，その順序は，数字ラベルと文字列ラベルの順序の辞書式順序 である．

各文字クラスの定義は以下の通り．

$⟨$alpha$\mathrm{⟩}$	::=	[A-Za-z\127-\255]
$⟨$symbol$\mathrm{⟩}$	::=	! $|$  % $|$  & $|$  $ $|$  + $|$  / $|$  : $|$  < $|$  = $|$  > $|$  ? $|$  @ $|$    $|$  ‘ $|$  | $|$  # $|$  - $|$  ^ $|$  \
$⟨$alphaId$\mathrm{⟩}$	::=	$⟨$alpha$\mathrm{⟩}$ ($⟨$alpha$\mathrm{⟩}$  $|$ [0-9]  $|$ ’  $|$ _ )*	（注1）
$⟨$decimal$\mathrm{⟩}$	::=	[1-9] [0-9]*
$⟨$symbolId$\mathrm{⟩}$	::=	$⟨$symbol$\mathrm{⟩}$*	（注2）

注

1. 1.

   字句クラス$⟨$alphaId$\mathrm{⟩}$には予約語は含まれない． さらに，_sqlで始まるSQL式内では， $⟨$alphaId$\mathrm{⟩}$にはSQL予約語は含まれない．

2. 2.

   $⟨$symbolId$\mathrm{⟩}$には予約語は含まれない． したがって，==>は$⟨$symbolId$\mathrm{⟩}$の要素であるが， =>は$⟨$symbolId$\mathrm{⟩}$の要素ではない．

long識別子

変数やデータ構成子名$⟨$vid$\mathrm{⟩}$とストラクチャ名$⟨$strid$\mathrm{⟩}$ に対しては，ストラクチャ名のリストがプレフィックスされたlong識別子が定義 される．

$⟨$longVid$\mathrm{⟩}$	::=	($⟨$strid$\mathrm{⟩}$ .)* $⟨$vid$\mathrm{⟩}$
$⟨$longTycon$\mathrm{⟩}$	::=	($⟨$strid$\mathrm{⟩}$ .)* $⟨$tycon$\mathrm{⟩}$
$⟨$longStrid$\mathrm{⟩}$	::=	($⟨$strid$\mathrm{⟩}$ .)* $⟨$strid$\mathrm{⟩}$

定数リテラル $\mathrm{⟨}$scon$\mathrm{⟩}$

定数リテラルの定義は以下の通りである．

$⟨$scon$\mathrm{⟩}$	::=	$⟨$int$\mathrm{⟩}$  $|$ $⟨$word$\mathrm{⟩}$  $|$ $⟨$real$\mathrm{⟩}$  $|$ $⟨$string$\mathrm{⟩}$  $|$ $⟨$char$\mathrm{⟩}$	定数リテラル
$⟨$int$\mathrm{⟩}$	::=	$($~$)\mathrm{?}$[0-9]$+$	10進整数
	$|$	$($~$)\mathrm{?}$0x[0-9a-fA-F]$+$	16進整数
$⟨$word$\mathrm{⟩}$	::=	0w[0-9]$+$	10進符合なし整数
	$|$	0wx[0-9a-fA-F]$+$	16進符合なし整数
$⟨$real$\mathrm{⟩}$	::=	$($~$)\mathrm{?}$[0-9]$+$ . [0-9]$+$ [Ee]$($~$)\mathrm{?}$[0-9]+	不動小数点数
	$|$	$($~$)\mathrm{?}$[0-9]$+$ . [0-9]+
	$|$	$($~$)\mathrm{?}$[0-9]$+$ [Ee]$($~$)\mathrm{?}$[0-9]+
$⟨$char$\mathrm{⟩}$	::=	#" ($⟨$printable$\mathrm{⟩}$ $\mathrm{|}$ $\mathrm{⟨}$escape$\mathrm{⟩}$) "	文字
$⟨$string$\mathrm{⟩}$	::=	" ($⟨$printable$\mathrm{⟩}$ $\mathrm{|}$ $\mathrm{⟨}$escape$\mathrm{⟩}$)$*$ "	文字列
$⟨$printable$\mathrm{⟩}$	::=	\と"を除いた文字
$⟨$escape$\mathrm{⟩}$	::=	\a	警告文字 (ASCII 7)
	$|$	\b	バックスペース (ASCII 8)
	$|$	\t	タブ (ASCII 9)
	$|$	\n	改行文字 (ASCII 10)
	$|$	\v	垂直タブ (ASCII 11)
	$|$	\f	ホームフィード (ASCII 12)
	$|$	\r	リターン (ASCII 13)
	$|$	\^[\064-\095]	[\064-\095]が表す制御文字
	$|$	\\	文字\
	$|$	\"	文字"
	$|$	\$ddd$	十進数$ddd$の番号を持つ文字
	$|$	\$f$ $\mathrm{\cdots }$ $f$\	空白文字の列$f\mathrm{\cdots }f$を無視する
	$|$	\u$xxxx$	16進数表現$xxxx$で表される番号を持つUTF-8文字列