Chapter 19 式

式$⟨$exp$\mathrm{⟩}$の構文の定義は， 演算子式$⟨$infix$\mathrm{⟩}$， 関数適用式$⟨$appexp$\mathrm{⟩}$， 原子式$⟨$atexp$\mathrm{⟩}$ を用いて階層的に定義される．

• •

  式（トップレベル）
  

  $⟨$exp$\mathrm{⟩}$	::=	$⟨$infix$\mathrm{⟩}$
  	$|$	$⟨$exp$\mathrm{⟩}$ : $⟨$ty$\mathrm{⟩}$
  	$|$	$⟨$exp$\mathrm{⟩}$ andalso $⟨$exp$\mathrm{⟩}$
  	$|$	$⟨$exp$\mathrm{⟩}$ orelse $⟨$exp$\mathrm{⟩}$
  	$|$	$⟨$exp$\mathrm{⟩}$ handle $⟨$match$\mathrm{⟩}$
  	$|$	raise $⟨$exp$\mathrm{⟩}$
  	$|$	if $⟨$exp$\mathrm{⟩}$ then $⟨$exp$\mathrm{⟩}$ else $⟨$exp$\mathrm{⟩}$
  	$|$	while $⟨$exp$\mathrm{⟩}$ do $⟨$exp$\mathrm{⟩}$
  	$|$	case $⟨$exp$\mathrm{⟩}$ of $⟨$match$\mathrm{⟩}$
  	$|$	fn $⟨$match$\mathrm{⟩}$
  	$|$	_import $⟨$string$\mathrm{⟩}$ : $⟨$cfunty$\mathrm{⟩}$	C関数のインポート
  	$|$	$⟨$exp$\mathrm{⟩}$ : _import $⟨$cfunty$\mathrm{⟩}$	C関数のインポート
  	$|$	_sizeof( $⟨$ty$\mathrm{⟩}$ )	型のサイズ
  	$|$	_dynamic $⟨$exp$\mathrm{⟩}$ as $⟨$ty$\mathrm{⟩}$	動的型キャスト
  	$|$	_dynamiccase $⟨$exp$\mathrm{⟩}$ of $⟨$match$\mathrm{⟩}$	動的型キャスト付き場合分け
  	$|$	_sqlserver $($$⟨$appexp$\mathrm{⟩}$$\mathrm{)}\mathrm{?}$ : $⟨$ty$\mathrm{⟩}$	SQLサーバ
  	$|$	_sql $⟨$pat$\mathrm{⟩}$ => $⟨$sqlfn$\mathrm{⟩}$	SQL実行関数
  	$|$	_sql $⟨$sql$\mathrm{⟩}$	SQLクエリ断片

  $⟨$match$\mathrm{⟩}$	::=	$⟨$pat$\mathrm{⟩}$ => $⟨$exp$\mathrm{⟩}$ $($| $⟨$match$\mathrm{⟩}$$\mathrm{)}\mathrm{?}$	パターンマッチング

• •

  演算子式
  

  $⟨$infix$\mathrm{⟩}$	::=	$⟨$appexp$\mathrm{⟩}$
  	$|$	$⟨$infix$\mathrm{⟩}$ $⟨$vid$\mathrm{⟩}$ $⟨$infix$\mathrm{⟩}$

• •

  関数適用式
  

  $⟨$appexp$\mathrm{⟩}$	::=	$⟨$atexp$\mathrm{⟩}$
  	$|$	$⟨$appexp$\mathrm{⟩}$ $⟨$atexp$\mathrm{⟩}$	関数適用（左結 合）
  	$|$	$⟨$appexp$\mathrm{⟩}$ # { $⟨$exprow$\mathrm{⟩}$ }	レコードフィールドアップデート

• •

  原子式
  

  $⟨$atexp$\mathrm{⟩}$	::=	$⟨$scon$\mathrm{⟩}$	定数
  	$|$	$($op$)\mathrm{?}$ $⟨$longVid$\mathrm{⟩}$	識別子
  	$|$	{$($$⟨$exprow$\mathrm{⟩}$$\mathrm{)}\mathrm{?}$ }	レコード
  	$|$	($\mathrm{⟨}$exp${}_{\mathrm{1}}$$\mathrm{⟩}$,$\mathrm{\cdots }$,$\mathrm{⟨}$exp${}_n$$\mathrm{⟩}$)	組（$n\ge 2$）
  	$|$	()	unit型定数
  	$|$	#$⟨$lab$\mathrm{⟩}$	レコードフィールドセレクト
  	$|$	[$\mathrm{⟨}$exp${}_{\mathrm{1}}$$\mathrm{⟩}$,$\mathrm{\cdots }$,$\mathrm{⟨}$exp${}_n$$\mathrm{⟩}$]	リスト（$n\ge 0$）
  	$|$	($\mathrm{⟨}$exp${}_{\mathrm{1}}$$\mathrm{⟩}$;$\mathrm{\cdots }$;$\mathrm{⟨}$exp${}_n$$\mathrm{⟩}$)	逐次実行式（$n\ge 2$）
  	$|$	let $\mathrm{⟨}$declList$\mathrm{⟩}$ in $\mathrm{⟨}$exp${}_{\mathrm{1}}$$\mathrm{⟩}$;$\mathrm{\cdots }$;$\mathrm{⟨}$exp${}_n$$\mathrm{⟩}$ end	局所宣言（$n\ge 1$）
  	$|$	_sql ($\mathrm{⟨}$sql$\mathrm{⟩}$)	SQLクエリ断片
  	$|$	($\mathrm{⟨}$exp$\mathrm{⟩}$)

  $⟨$exprow$\mathrm{⟩}$	::=	$⟨$lab$\mathrm{⟩}$ = $⟨$exp$\mathrm{⟩}$ $($, exprow$\mathrm{)}\mathrm{?}$	レコードフィールド

$⟨$cfunty$\mathrm{⟩}$の定義は第19.21節に， $⟨$sql$\mathrm{⟩}$および $⟨$sqlfn$\mathrm{⟩}$の定義は 第22.2節に それぞれ与える．

この階層によって，構文の結合力（まとまりの強さ）が表現される． 原子式が結合の最小単位であり，関数適用式$⟨$appexp$\mathrm{⟩}$， 演算子式$⟨$infix$\mathrm{⟩}$，式$⟨$exp$\mathrm{⟩}$の各定義は，この順の結合力が強い． ただし，演算子式$⟨$infix$\mathrm{⟩}$を構成する各要素間の結合力は， 文法ではなく，演算子宣言によって決定される． さらに演算子式は，演算子宣言の結合の強さに従って，組への関数適用 に展開される糖衣構文である． そこでまず，次節（19.1）において演算子式の 展開を定義したのち，式の文法で表現される結合力の強順に，各構造とその式が もつ型と値を説明する．