ストレージ

インタープリターはストレージ (storage) を持つ。ストレージはセル (cell) の集まりである。セルはベクトルで区別される。セルを区別するためのベクトルをアドレス (address) と言う。セルは 1 個の値を記憶する。セルは値の書き込み (write) と読み出し (read) が可能である。

ストレージに書き込むには writemain プリミティブ演算を使用する。write プリミティブ演算は to 引数と value 引数を取る。to 引数の値はベクトルである必要がある。write プリミティブ演算の戻り値はブーリアン型の false である。また、write プリミティブ演算で書き込んだ値は、erase プリミティブ演算で消去することができる。erase プリミティブ演算の main 引数でセルのアドレスを指定する。

引数解決で、終端要因がストレージであれば、ストレージからの読み出しが行われる。このとき演算指定子がセルのアドレスとして使われる。

指定されたセルに値が書き込まれているか調べるには fullmain プリミティブ演算を使用する。full プリミティブ演算の main 引数でアドレスを指定すると、対応するセルに値が記憶されているかによって、ブーリアン型の true または false が戻り値となる。