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

\,\langle

\rangle\,

23.5 例外宣言 :

\,\langle

exnDecl

\rangle\,

23.4 type宣言 : $\,\langle$ typDecl $\rangle\,$

type宣言は，以下の文法で型に名をつける宣言である．

$\,\langle$ typeDecl $\rangle\,$	:=	type $\,\langle$ typbind $\rangle\,$
$\,\langle$ tybind $\rangle\,$	::=	$\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ tycon $\rangle\,$ = $\,\langle$ ty $\rangle\,$ $($ and $\,\langle$ tybind $\rangle\,$ $)?$

23.4.1 type仕様 : $\,\langle$ typSpec $\rangle\,$

type宣言のインタフェイスは，type仕様と抽象型仕様がある． type仕様の構文はtype宣言と同一である．抽象型仕様の構文は以下の通りである．

$\,\langle$ opequeTypeSpec $\rangle\,$	:=	type $($ $\,\langle$ tyvarSeq $\rangle\,$ $)?$ $\,\langle$ tycon $\rangle\,$ ( = $\,\langle$ runtimeTypeSpec $\rangle\,$ )
$\,\langle$ runtimeTypeSpec $\rangle\,$	:=	$\,\langle$ tycon $\rangle\,$ $\|$ {} $\|$ * $\|$ ->

型がレコード型，組型，関数型で実装されているならば， $\,\langle$ runtimeTypeSpec $\rangle\,$ にはそれぞれ{}，*， ->を指定する．そうでなければ，型を実装する型コンストラクタを $\,\langle$ runtimeTypeSpec $\rangle\,$ に指定する．実行時表現さえ合っているならば， $\,\langle$ runtimeTypeSpec $\rangle\,$ は実装型と厳密に一致しなくてもよい．実行時表現について詳しくは29章を参照せよ．

23.4.2 型宣言とインタフェイスの例

以下は，型宣言を含むソースファイルとインターフェイスの例である．

Data.sml file: type ’a set = ’a list
type ’a queue = ’a list * ’a list
type index = int
type id = int Data.smi file: type ’a set (= list)
type ’a queue (= *)
type index = int
type id (= int)

23.4 type宣言 : ⟨typDecl⟩

23.4.1 type仕様 : ⟨typSpec⟩

23.4.2 型宣言とインタフェイスの例

23.4 type宣言 : $\,\langle$ typDecl $\rangle\,$

23.4.1 type仕様 : $\,\langle$ typSpec $\rangle\,$