SML#プロジェクト

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

III 参照マニュアル 23.5 例外宣言 :

\,\langle

\rangle\,

24.1 ストラクチャ宣言 :

\,\langle

\rangle\,

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

宣言の種類毎に，宣言 $\,\langle$ topdecl $\rangle\,$ の定義と，それに対応するインターフェイス仕様 $\,\langle$ interfaceSpec $\rangle\,$ の定義を与え，それら宣言に対してコンパイラが計算する型と値を説明する．

24.1 ストラクチャ宣言 : $\,\langle$ strDecl $\rangle\,$

24.2 ストラクチャ式とその評価 : $\,\langle$ strexp $\rangle\,$

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

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