第31回 禁断の機能「unsafePerformIO」の深淵

Haskell以外の言語に慣れ親しんでいる人は，プログラムがIOモナドに閉じこめられてしまうHaskellのプログラミングを窮屈に感じるかもしれません。そうした人にとって，unsafePerformIOはこの窮屈さを取り除いてくれる頼もしい味方に見えるでしょう。しかし，unsafePerformIOを気軽に使用すべきではありません。unsafePerformIOは，決してHaskell初心者が期待するようには動作しないからです。 今回は，unsafePerformIOとは一体何なのかを掘り下げて考えてみたいと思います。GHCのunsafePerformIOの実装を例に取り，「unsafePerformIOが実際にはどのように振る舞うか」「unsafePerformIOの使用が問題を起こさないのはどのような場合か」といったことを説明します。 最適化によって振る舞いが変わる なぜunsafeP

[secondlife]

ふむふむ〜(解った風発言)