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

\,\langle

\rangle\,

23.3 datatype宣言 :

\,\langle

datatypeDecl

\rangle\,

23.2 関数宣言 : $\,\langle$ valRecDecl $\rangle\,$ , $\,\langle$ funDecl $\rangle\,$

関数宣言の構文には以下の $\,\langle$ valRecDecl $\rangle\,$ 及び $\,\langle$ funDecl $\rangle\,$ がある．

$\,\langle$ valRecDecl $\rangle\,$	::=	val rec $\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ valBind $\rangle\,$
$\,\langle$ funDecl $\rangle\,$	::=	fun $\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ funBind $\rangle\,$
$\,\langle$ funBind $\rangle\,$	::=	$\,\langle$ funBind1 $\rangle\,$
	$\|$	$\,\langle$ funBind1 $\rangle\,$ and $\,\langle$ funBind $\rangle\,$
$\,\langle$ funBind1 $\rangle\,$	::=	$($ op $)?$ $\,\langle$ vid $\rangle\,$ $\,\langle$ atpat ${}_{11}$ $\rangle\,$ $\cdots$ $\,\langle$ atpat ${}_{1n}$ $\rangle\,$ $($ : $\,\langle$ ty $\rangle\,$ $)?$ = $\,\langle$ exp ${}_{1}$ $\rangle\,$	( $m,n\geq 1$ )
		\| $($ op $)?$ $\,\langle$ vid $\rangle\,$ $\,\langle$ atpat ${}_{21}$ $\rangle\,$ $\cdots$ $\,\langle$ atpat ${}_{2n}$ $\rangle\,$ $($ : $\,\langle$ ty $\rangle\,$ $)?$ = $\,\langle$ exp ${}_{2}$ $\rangle\,$
		\| $\cdots$
		\| $($ op $)?$ $\,\langle$ vid $\rangle\,$ $\,\langle$ atpat ${}_{m1}$ $\rangle\,$ $\cdots$ $\,\langle$ atpat ${}_{mn}$ $\rangle\,$ $($ : $\,\langle$ ty $\rangle\,$ $)?$ = $\,\langle$ exp ${}_{m}$ $\rangle\,$

この宣言で，andで接続された複数の関数が相互再帰的に定義される．定義される関数名の有効範囲は，この宣言全体と，この宣言に続く部分である．

$\,\langle$ valRecDecl $\rangle\,$ における $\,\langle$ valBind $\rangle\,$ のval宣言は，

$\,\langle$ vid $\rangle\,$ = fn 式

の形に制限される．

同一の $\,\langle$ funBind1 $\rangle\,$ に現れる識別子（関数名） $\,\langle$ vid $\rangle\,$ はすべて同一でなければならず，異なる $\,\langle$ funBind1 $\rangle\,$ に現れる関数名 $\,\langle$ vid $\rangle\,$ は互いに異ならなければならない．また，同一の $\,\langle$ funBind1 $\rangle\,$ に現れる $\,\langle$ pat $\rangle\,$ に含まれる変数はすべて異なっていなければならない．

さらにこの宣言の評価においては，関数名 $\,\langle$ vid $\rangle\,$ が，定義される関数と同一の値（静的型および動的な値）をもつ変数と定義される．

$\,\langle$ tyvarSeq $\rangle\,$ は， $\,\langle$ valBind $\rangle\,$ および $\,\langle$ funDecl $\rangle\,$ に現れる型変数のスコープの指定である．これら型変数は，各 $\,\langle$ funBind1 $\rangle\,$ および $\,\langle$ valBind $\rangle\,$ の中の各 $\,\langle$ valBind1 $\rangle\,$ のトップレベルで型抽象される．

23.2.1 関数宣言インターフェイス

関数宣言のインターフェイスは，val宣言のインターフェイスと同一である．関数宣言で定義される関数名と型をval宣言のインターフェイスと同一の構文で記述する．以下は，関数宣言に対するソースファイルとインターフェイスの例である．

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

23.2 関数宣言 : ⟨valRecDecl⟩, ⟨funDecl⟩

23.2.1 関数宣言インターフェイス

23.2 関数宣言 : $\,\langle$ valRecDecl $\rangle\,$ , $\,\langle$ funDecl $\rangle\,$