[FAQ]Haskellには副作用があるのか、ないのか
副作用ということばのゆれ、手続き型脳と関数型脳という造語によるしなくてもいいクラスタの分類が、この対話でみえてきます。
KOYAMA Youichi
@koyama41
ここでいう「処理系の裏」への意識というのは、破壊代入の効率の良さを狙ってSTモナドを使うことや、printしたらそれがきちんと画面に表示されることを期待する(バッファリングとかもコントロールしてflushされるところまで意識する)といったことを想定
2010-06-08 21:54:08
KOYAMA Youichi
@koyama41
つまり、何が仕様として保証されているかっていう感じでしょうか。配列の一部の更新がO(1)であることが保証されてるならそれを意識して使うし、そういうのが仕様に含まれていることをもって「副作用」と呼ぼうとしている…のかな
2010-06-08 22:03:00