16.2 分割コンパイルモードのプログラム

分割コンパイルモードのプログラムは，ソースファイルとそのインターフェイスを記述したインターフェイスファイルの集合である．ソースファイルの内容 $\,\langle$ source $\rangle\,$ は以下の通りである．

$\,\langle$ source $\rangle\,$	::=	$($ $\,\langle$ interfaceFileSpec $\rangle\,$ $)?$ $\,\langle$ sourceProgram $\rangle\,$
$\,\langle$ interfaceFileSpec $\rangle\,$	::=	_interface " $\,\langle$ filePath $\rangle\,$ "
$\,\langle$ sourceProgram $\rangle\,$	::=
	$\|$	$\,\langle$ decl $\rangle\,$ $\,\langle$ sourceProgram $\rangle\,$
	$\|$	$\,\langle$ topdecl $\rangle\,$ $\,\langle$ sourceProgram $\rangle\,$

ソースファイルに対応するインタフェイスファイルの指定 $\,\langle$ interfaceFileSpec $\rangle\,$ 指定しない場合でかつ，ソースファイル $S$ .smlと同一ディレクトリにサフィクスが.smiの同一の名のファイル $S$ .smiがあれば，そのファイルが暗黙にインタフェイスファイルとして指定される． $\,\langle$ filePath $\rangle\,$ は相対パスであり， OSによらず，ディレクトリの区切り文字には/（スラッシュ）を用いる．

インターフェイスファイルの内容 $\,\langle$ interface $\rangle\,$ は，ソースファイルが必要とする他のコンパイル単位の参照宣言の列 $\,\langle$ requireList $\rangle\,$ と，ソースファイルが他のコンパイル単位に提供する仕様の列 $\,\langle$ provideList $\rangle\,$ を記述する．

$\,\langle$ interface $\rangle\,$	::=	$\,\langle$ requireList $\rangle\,$ $\,\langle$ provideList $\rangle\,$
$\,\langle$ requireList $\rangle\,$	::=
	$\|$	_require $($ local $)?$ $\,\langle$ interfaceName $\rangle\,$ $\,\langle$ requireList $\rangle\,$ $($ init $)?$
	$\|$	_require $($ local $)?$ $\,\langle$ sigFilePath $\rangle\,$ $\,\langle$ requireList $\rangle\,$ $($ init $)?$
$\,\langle$ interfaceName $\rangle\,$	::=	$\,\langle$ smiFilePath $\rangle\,$
	$\|$	$\,\langle$ librarySmiFilePath $\rangle\,$
$\,\langle$ provideList $\rangle\,$	::=
	$\|$	$\,\langle$ provide $\rangle\,$ $\,\langle$ provideList $\rangle\,$
$\,\langle$ provide $\rangle\,$	::=	$\,\langle$ provideInfix $\rangle\,$
	$\|$	$\,\langle$ provideVal $\rangle\,$
	$\|$	$\,\langle$ provideType $\rangle\,$
	$\|$	$\,\langle$ provideDatatype $\rangle\,$
	$\|$	$\,\langle$ provideException $\rangle\,$
	$\|$	$\,\langle$ provideStr $\rangle\,$
	$\|$	$\,\langle$ provideFun $\rangle\,$

$\,\langle$ requireList $\rangle\,$ は，ソースファイルが参照する他のソースファイルのインターフェイスファイル（smiファイル）パス，ライブラリのsmiファイル名，またはシグネチャファイルのパス名を指定する． _requireに続くlocalは，その_requireで指定されたインターフェースファイルがソースファイルからのみ参照され， $\,\langle$ provideList $\rangle\,$ からは参照されないことを表す．このlocalを適切に加えることによって，不要なインターフェースファイルの読み込みを抑止し，コンパイル時間を短縮することができる． initは，指定されたインターフェースファイルに対応するプログラムが，_requireが書かれたプログラムよりも先に必ず評価されることを表す注釈である． $\,\langle$ provideList $\rangle\,$ は，ソースファイルが，他のコンパイル単位に提供する宣言の仕様である．

$\,\langle$ smiFilePath $\rangle\,$ ， $\,\langle$ sigFilePath $\rangle\,$ ，および $\,\langle$ librarySmiFilePath $\rangle\,$ は，_requireが書かれたファイルから他のファイルへの相対パスである． OSによらず，ディレクトリの区切り文字には/（スラッシュ）を用いる．パスが.（ピリオド）から始まっておらずかつファイルが存在しない場合は，コマンドラインで与えられたロードパスからファイルを検索する．

SML#が提供する代表的なライブラリのインターフェイスファイルには以下のものがある．

ライブラリsmiファイル名内容

basis.smi Standard ML基本ライブラリ

ml-yacc-lib.smi yacc, lexツール

smlformat-lib.smi SMLFormatフォーマッタ生成ツール

smlnj-lib.smi Standard ML of New Jerseyライブラリ

ffi.smi Cとの連携サポートライブラリ

thread.smi マルチスレッドサポートライブラリ

reify.smi 動的型付けサポートライブラリ

smlunit-lib.smi 単体テストツール

ライブラリsmiファイル名	内容
basis.smi	Standard ML基本ライブラリ
ml-yacc-lib.smi	yacc, lexツール
smlformat-lib.smi	SMLFormatフォーマッタ生成ツール
smlnj-lib.smi	Standard ML of New Jerseyライブラリ
ffi.smi	Cとの連携サポートライブラリ
thread.smi	マルチスレッドサポートライブラリ
reify.smi	動的型付けサポートライブラリ
smlunit-lib.smi	単体テストツール

宣言に対応するプロバイドは以下の通りである．

•

核言語の宣言とインタフェイスの対応

宣言 ( $\,\langle$ decl $\rangle\,$ ) 対応するプロバイド ( $\,\langle$ provide $\rangle\,$ )

$\,\langle$ infixDecl $\rangle\,$ $\,\langle$ provideInfix $\rangle\,$

$\,\langle$ valDecl $\rangle\,$ $\,\langle$ provideVal $\rangle\,$

$\,\langle$ valRecDecl $\rangle\,$ $\,\langle$ provideVal $\rangle\,$

$\,\langle$ funDecl $\rangle\,$ $\,\langle$ provideVal $\rangle\,$

$\,\langle$ datatypeDecl $\rangle\,$ $\,\langle$ provideData $\rangle\,$

$\,\langle$ typeDecl $\rangle\,$ $\,\langle$ provideType $\rangle\,$

$\,\langle$ exceptionDecl $\rangle\,$ $\,\langle$ provideException $\rangle\,$

$\,\langle$ localDecl $\rangle\,$

•

モジュール言語の宣言とインタフェイスの対応

宣言 ( $\,\langle$ topdecl $\rangle\,$ ) 対応するプロバイド ( $\,\langle$ provide $\rangle\,$ )

$\,\langle$ strDecl $\rangle\,$ $\,\langle$ provideStr $\rangle\,$

$\,\langle$ sigDecl $\rangle\,$

$\,\langle$ functorDecl $\rangle\,$ $\,\langle$ provideFun $\rangle\,$

$\,\langle$ localTopdecl $\rangle\,$

シグネチャファイルは，インタフェイスに直接 _require $\,\langle$ sigFilePath $\rangle\,$ 宣言で参照する．

宣言 ( $\,\langle$ decl $\rangle\,$ )	対応するプロバイド ( $\,\langle$ provide $\rangle\,$ )
$\,\langle$ infixDecl $\rangle\,$	$\,\langle$ provideInfix $\rangle\,$
$\,\langle$ valDecl $\rangle\,$	$\,\langle$ provideVal $\rangle\,$
$\,\langle$ valRecDecl $\rangle\,$	$\,\langle$ provideVal $\rangle\,$
$\,\langle$ funDecl $\rangle\,$	$\,\langle$ provideVal $\rangle\,$
$\,\langle$ datatypeDecl $\rangle\,$	$\,\langle$ provideData $\rangle\,$
$\,\langle$ typeDecl $\rangle\,$	$\,\langle$ provideType $\rangle\,$
$\,\langle$ exceptionDecl $\rangle\,$	$\,\langle$ provideException $\rangle\,$
$\,\langle$ localDecl $\rangle\,$

宣言 ( $\,\langle$ topdecl $\rangle\,$ )	対応するプロバイド ( $\,\langle$ provide $\rangle\,$ )
$\,\langle$ strDecl $\rangle\,$	$\,\langle$ provideStr $\rangle\,$
$\,\langle$ sigDecl $\rangle\,$
$\,\langle$ functorDecl $\rangle\,$	$\,\langle$ provideFun $\rangle\,$
$\,\langle$ localTopdecl $\rangle\,$

以下に簡単なプログラム例を示す．

•

例１（基本ライブラリの使用）

ファイルコード

hello.sml val _ = print "こんにちは，SML＃へようこそ\n"

hello.smi _require "basis.smi"

コンパイルと実行例

$ smlsharp hello.sml
$ ./a.out
こんにちは，SML＃へようこそ
$

ファイル	コード
hello.sml	val _ = print "こんにちは，SML＃へようこそ\n"
hello.smi	_require "basis.smi"

•

例２（分割コンパイル）

ファイル	コード
hello.sml	val _ = puts "こんにちは，SML＃へようこそ"
hello.smi	_require "puts.smi"
puts.sml	val puts = _import "puts" : string -> int
puts.smi	val puts : string -> int

コンパイルと実行例

$ smlsharp -c hello.sml
$ smlsharp -c puts.sml
$ smlsharp -o hello hello.smi
$ ./hello
こんにちは，SML＃へようこそ
$