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

\,\langle

\rangle\,

\,\langle

funDecl

\rangle\,

23.4 type宣言 :

\,\langle

typDecl

\rangle\,

23.3 datatype宣言 : $\,\langle$ datatypeDecl $\rangle\,$

datatype宣言は，新しい型構成子を定義する．その構文は以下の通りである．

$\,\langle$ datatypeDecl $\rangle\,$	::=	datatype $\,\langle$ datbind $\rangle\,$ $($ withtype $\,\langle$ tybind $\rangle\,$ $)?$
$\,\langle$ datbind $\rangle\,$	::=	$($ $\,\langle$ tyvarSeq $\rangle\,$ $)?$ $\,\langle$ tycon $\rangle\,$ = $\,\langle$ conbind $\rangle\,$ $($ and $\,\langle$ datbind $\rangle\,$ $)?$
$\,\langle$ conbind $\rangle\,$	::=	$($ op $)?$ $\,\langle$ vid $\rangle\,$ $($ of $\,\langle$ ty $\rangle\,$ $)?$ $($ \| $\,\langle$ conbind $\rangle\,$ $)?$
$\,\langle$ tybind $\rangle\,$	::=	$\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ tycon $\rangle\,$ = $\,\langle$ ty $\rangle\,$ $($ and $\,\langle$ tybind $\rangle\,$ $)?$

型構成子名 $\,\langle$ tycon $\rangle\,$ はすべてて異なっていなければならず，同一の $\,\langle$ datbind $\rangle\,$ の中は，データ構成子名 $\,\langle$ vid $\rangle\,$ はすべて異なっていなければならない．この宣言により，型変数 $($ $\,\langle$ tyvarSeq $\rangle\,$ $)?$ をパラメタとする相互再帰的な多相型型構成子 $\,\langle$ tycon $\rangle\,$ と，データ構成子 $\,\langle$ vid $\rangle\,$ が定義される． $\,\langle$ tycon $\rangle\,$ のスコープは， $\,\langle$ datatypeDecl $\rangle\,$ 全体と，この宣言に続く宣言である． withtypeは， $\,\langle$ datatypeDecl $\rangle\,$ をスコープとする型の別名定義であり，評価前に展開される．

23.3.1 datatype宣言インタフェース

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

$\,\langle$ opequeTypeSpec $\rangle\,$	::=	type $($ $\,\langle$ tyvarSeq $\rangle\,$ $)?$ $\,\langle$ tycon $\rangle\,$ ( = $\,\langle$ runtimeTypeSpec $\rangle\,$ )
$\,\langle$ runtimeTypeSpec $\rangle\,$	:=	unit $\|$ contag $\|$ boxed

datatype宣言に対してdatatype宣言インターフェイスを記述すると， _requireを通じて参照するコンパイル単位に対して， datatype宣言された型構成子とデータ構成子が定義される． datatype宣言に対して抽象型インタフェイスを記述すると，同一名前の抽象型構成子が定義される．抽象型インタフェイスのオペランドは，その型の実行時表現をコンパイラに通知するための注釈であり，datatype宣言に応じて unit，contag，またはboxedのいずれかを記述する． unitおよびcontagは， datatypeの実行時表現が構成子タグのみであるを意味する． datatype宣言に引数を持つデータ構成子が無い場合に記述する．構成子が1つだけのときunitを，そうでないときcontagを書く． boxedは，datatypeの実行時表現がポインタであることを意味する． datatype宣言に引数を持つデータ構成子がある場合に記述する．

23.3.2 datatype宣言とインタフェイスの例

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

Data.sml file: datatype ’a list = nil | :: of ’a * ’a list
datatype ’a queue = QUEUE of ’a list * ’a list
Data.smi file: datatype ’a list = nil | :: of ’a * ’a list
type ’a queue (= boxed)

23.3 datatype宣言 : ⟨datatypeDecl⟩

23.3.1 datatype宣言インタフェース

23.3.2 datatype宣言とインタフェイスの例

23.3 datatype宣言 : $\,\langle$ datatypeDecl $\rangle\,$