プログラミング言語SML#解説 4.1.0版

24 モジュール言語の宣言とインタフェイス 24.2 ストラクチャ式とその評価 :

\,\langle

\rangle\,

24.4 モジュール言語のインタフェイス

24.3 シグネチャ式 : $\,\langle$ sigexp $\rangle\,$

シグネチャ式の文法は以下の通りである．

$\,\langle$ sigexp $\rangle\,$	::=	sig $\,\langle$ spec $\rangle\,$ end
	$\|$	$\,\langle$ sigid $\rangle\,$
	$\|$	$\,\langle$ sigexp $\rangle\,$ where type $\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ longTycon $\rangle\,$ = $\,\langle$ ty $\rangle\,$

•

基本シグネチャ式 (sig $\,\langle$ spec $\rangle\,$ end)

宣言仕様 $\,\langle$ spec $\rangle\,$ の列である．
•

シグネチャ名 ( $\,\langle$ sigid $\rangle\,$ )

トップレベルのシグネチャ宣言でシグネチャ式に束縛された名前である．
•

型定義付きのシグネチャ名

シグネチャ名 $\,\langle$ sigid $\rangle\,$ に束縛されたシグネチャ式の中の $\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ longTycon $\rangle\,$ を $\,\langle$ ty $\rangle\,$ で置き換えて得られるシグネチャ式を表す．

宣言仕様 $\,\langle$ spec $\rangle\,$ の構文は以下の通りである．

$\,\langle$ spec $\rangle\,$	::=	val $\,\langle$ valdesc $\rangle\,$
	$\|$	type $\,\langle$ typdesc $\rangle\,$
	$\|$	eqtype $\,\langle$ typdesc $\rangle\,$
	$\|$	datatype $\,\langle$ datdesc $\rangle\,$
	$\|$	datatype $\,\langle$ tycon $\rangle\,$ = datatype $\,\langle$ longTycon $\rangle\,$
	$\|$	exception $\,\langle$ exdesc $\rangle\,$
	$\|$	structure $\,\langle$ strdesc $\rangle\,$
	$\|$	include $\,\langle$ sigexp $\rangle\,$
	$\|$	$\,\langle$ spec $\rangle\,$ sharing type $\,\langle$ longTycon ${}_{1}$ $\rangle\,$ = $\cdots$ = $\,\langle$ longTycon ${}_{n}$ $\rangle\,$
	$\|$	$\,\langle$ spec $\rangle\,$ $($ ; $)?$ $\,\langle$ spec $\rangle\,$
	$\|$
$\,\langle$ valdesc $\rangle\,$	::=	$\,\langle$ vid $\rangle\,$ : $\,\langle$ ty $\rangle\,$ $($ and $\,\langle$ valdesc $\rangle\,$ $)?$
$\,\langle$ typdesc $\rangle\,$	::=	$\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ tycon $\rangle\,$ $($ and $\,\langle$ typdesc $\rangle\,$ $)?$
$\,\langle$ datdesc $\rangle\,$	::=	$\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ tycon $\rangle\,$ = $\,\langle$ condesc $\rangle\,$ $($ and $\,\langle$ datdesc $\rangle\,$ $)?$
$\,\langle$ condesc $\rangle\,$	::=	$\,\langle$ vid $\rangle\,$ $($ of $\,\langle$ ty $\rangle\,$ $)?$ $($ \| $\,\langle$ condesc $\rangle\,$ $)?$
$\,\langle$ exdesc $\rangle\,$	::=	$\,\langle$ vid $\rangle\,$ $($ of $\,\langle$ ty $\rangle\,$ $)?$ $($ and $\,\langle$ exdesc $\rangle\,$ $)?$
$\,\langle$ strdesc $\rangle\,$	::=	$\,\langle$ strid $\rangle\,$ : $\,\langle$ sigexp $\rangle\,$ $($ and $\,\langle$ strdesc $\rangle\,$ $)?$

それぞれの要素の意味は以下の通りである．

•

val $\,\langle$ valdesc $\rangle\,$ . val宣言で束縛される変数の型を指定する．
•

type $\,\langle$ typdesc $\rangle\,$ . 指定されたロング名をもつtype宣言またはdatatype宣言が存在することの指定である．

参照透明なシグネチャ指定の場合，この仕様は，ストラクチャの type宣言で定義される型関数をそのまま有効にする． datatype宣言の場合，ストラクチャの型構成子が有効になるが，データ構成子は束縛されない．

参照不透明なシグネチャ指定の場合，この仕様は，宣言で定義されるの型関数の内部構造およびdatatypeで生成された型構成子の同一性を隠蔽し，抽象型構成子として使用可能とする．
•

eqtype $\,\langle$ typdesc $\rangle\,$

type $\,\langle$ typdesc $\rangle\,$ と同一であるが，ストラクチャで宣言される型が同値演算が可能な型に限定される．
•

datatype $\,\langle$ datdesc $\rangle\,$

同一のdatatype宣言が存在することの指定である． datatype宣言が有効になる．
•

datatype $\,\langle$ tycon $\rangle\,$ = datatype $\,\langle$ longTycon $\rangle\,$

型構成子名 $\,\langle$ tycon $\rangle\,$ に束縛された型構成子が， $\,\langle$ longTycon $\rangle\,$ に束縛されたものと同一であることの指定．
•

exception $\,\langle$ exdesc $\rangle\,$

exception宣言が存在することの指定である． exception宣言が有効になる．
•

structure $\,\langle$ strdesc $\rangle\,$

ストラクチャが指定されたシグネチャ式を持つストラクチャを含むことの指定である．
•

include

指定されたシグネチャ名に束縛されたシグネチャ式の内容（ $\,\langle$ spec $\rangle\,$ の列）がこの位置に展開される．
•

sharing type

指定されたロング型構成子名がすべて同じ型構成子に束縛されていることの指定である．

24.3 シグネチャ式 : ⟨sigexp⟩

24.3 シグネチャ式 : $\,\langle$ sigexp $\rangle\,$