>>435
ラムダ計算は状態の記述ができないから、schemeのset!とかMLの参照へ
の代入みたいのはモデリングできなくて、命令型なんてほとんど状態
変化だから、ほとんどの言語はλ計算モデリングできない。のでは？
関数型の枠組だとどうか知らないけど、λには副作用はないと思う。

>>436
javaのクラス継承も部分型の理論だから、関数型にとらわれない
型理論は多くあると思います。あとflow-analysisも型でやっちゃうのも
あるから、そういうのは逆に命令型に特有なのかも。