＞＞694
下のリストで遅延評価でない言語が非純粋扱いされてる。

＞＞695
だとすると内部変数を書き変える定義はできませんという条件が数学にあるの？
ラムダ関数や形式意味論の方がよほど数学してるような。