第15回　Haskellでのデバッグのコツをつかむ

第15回　Haskellでのデバッグのコツをつかむ

プログラムが思った通りに動かないとき，あるいは他の人が書いたプログラムを理解したいときには，プロ...概要を表示 プログラムが思った通りに動かないとき，あるいは他の人が書いたプログラムを理解したいときには，プログラムの挙動を調べてみるでしょう。例えば，「入力」に対する「出力」を調べたり，プログラムが保持する「状態」を確認することで，挙動を理解しようとするはずです。そうしたときに使う手法が，プログラム動作中の変数の値といった情報を適宜出力する，いわゆるトレース（trace）です。C言語では情報の表示によくprintfを利用することから，printfデバッグとも呼ばれます。 Haskellでトレースを使うには，二つの問題があります。一つは，Haskellの型は必ずしも値を表示できるものばかりではない点です。これは回避が容易なので，さほど問題ではないでしょう。より深刻なのは「Haskellでは，副作用によるバグの発生を防ぐために，I/Oの扱いに対して制約がある」という点です。この結果，Haskellではトレ

• Haskell
• debug
• 関数型言語
• デバッグ
• プログラミング