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

\,\langle

\rangle\,

25 SML#のライブラリ概要

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

モジュール言語のインタフェイスは，第16.2節で定義した通り，ストラクチャのプロバイド（ $\,\langle$ provideStr $\rangle\,$ ）とファンクタのプロバイド（ $\,\langle$ provideFun $\rangle\,$ ）の２つである．それらの構文は以下の通りである．

$\,\langle$ provideStr $\rangle\,$	::=	structure $\,\langle$ strid $\rangle\,$ = struct $\,\langle$ provideStrdecl $\rangle\,$ end
$\,\langle$ provideStrdecl $\rangle\,$	::=	$\,\langle$ provideVal $\rangle\,$
	$\|$	$\,\langle$ provideType $\rangle\,$
	$\|$	$\,\langle$ provideDatatype $\rangle\,$
	$\|$	$\,\langle$ provideException $\rangle\,$
	$\|$	$\,\langle$ provideStr $\rangle\,$
$\,\langle$ provideFun $\rangle\,$	::=	functor $\,\langle$ provideFunBind $\rangle\,$
$\,\langle$ provideFunBind $\rangle\,$	::=	$\,\langle$ funid $\rangle\,$ ( $\,\langle$ strdesc $\rangle\,$ ) = $\,\langle$ provideStrExp $\rangle\,$

以下はストラクチャ宣言を含むソースファイルとインターフェイスの例である．

Bool.sml file: structure Bool =
struct
  datatype bool = false | true
  fun not true = false
    | not false = true
  fun toString true = "true"
    | toString false = "false"
end Bool.smi file: structure Bool =
struct
  datatype bool = false | true
  val not : bool -> bool
  val toString : bool -> string
end