純粋「状態」型言語というのを考えてみる。純粋状態型言語というのは、純粋関数型言語のパロディで、完全に逆の性質を持つ。純粋「関数」型言語というのはプログラミング言語の一つのジャンルで、特徴を一つ挙げれば、値を変数に代入(束縛)する事は出来るが、その変数を変更出来ない事があげられる。今流行の Haskell がそれだ。と、言うことは逆にすると。。。
- 純粋状態型言語では実行中に変数に値を代入する事が出来ない。
- 純粋状態型言語では実行中に変数の値を変更する事が出来る。
変数に値を束縛出来ないと使い物にならないだろうと思いきや。変数を束縛する事自体をプログラミングという事にすればよい。つまり、変数はプログラム作成時に一度だけ定義され、その後代入される事は無いが変更は出来る。何のことは無い。変数タイルを使わない時の Squeak EToys の動作と同じである。
この純粋状態型言語の驚くべき性質についてはまたあとで書く。
