キーワード無し構文

備忘録。

kは0以上の整数とする。使う記号。

記号	意味
in	アンビエントアビタを示す
from	構成のソース指標
to	構成のターゲット指標
k-σ	k-指標
k-γ	k-構成
k	k-射の宣言
:k	k重のコロン
→k	k重の矢印
:=	割り当て記号
( )	パラメトライズ
( )	気休め語〈consolation word〉
{ }	ブロック構造

気休め語〈consolation word〉は次の形で使える。

1. k-σ(fooBar)
2. k-γ(fooBar)
3. k(fooBar)
4. X(fooBar){ } パートのブロック、Xはラテン大文字