07/07/09 16:23:10
>>321-322
わかりずらい、で終わり？
つーことは>>320と言ってる事変わらんし、
>>314の「～な評価器の実装について語ろう 」
は却下ってことでいいのか？w
よくわからんな・・
「逐次的」連発で317=321だと思うが、とすると
>>317の「逐次的評価はある意味でPLの本質だろ、
人間は逐次的に書いていくし判断するんだから 」
の意図がわからないんだが。
例えば、いくつかの言語に存在する「未定義の動作」に該当する問題で、
関数に複数引数渡すときにそれぞれ副作用があったら、その順番は
処理系の都合で意図と逆になったりもするが？
これを「逐次的評価はある意味でPLの本質」云々にあてはめる
ことはできないよな？なんせ未定義だから。