Haskell でのデバッグ - あどけない話

「純粋関数型言語はデバッグしにくい。だって純粋な関数で printf デバッグできないから」とつぶやいている人をよく見かけます。これまで放置してきましたが、リツイートが50を超えたので、Haskellでのデバッグについて書きます。 例外処理と同じように、Haskell でのデバッグでは、純粋な関数と IO を分けて考える必要あります。 IO での printf デバッグ IO では、putStrLn や print が使えるから問題ないですよね？ foo :: Int -> IO Bool foo i = do x <- あれして i putStrLn $ "x = " ++ show x これして putStrLn "ここも通過" -- それもする y <- それもする print y return y ちなみに、forkIO 起動した軽量スレッドから putStrLn する場合、軽量ス

[dwarfjay]

ほとんどのケースでは、デバッガの使い方を調べる前に問題が解決してしまう。

[yhara]

あれ何も出ない…？と思ったら、第二引数は出力されるわけじゃないのね(自分でshowしたやつを第一引数にする必要がある)

[sirocco]

例外のデバッグ。コードに derving Show を足すのは難しい状況でも " {-# LANGUAGE StandaloneDeriving #-} \n deriving instance Show a => Show (Tree a)" を書けば Show のインスタンスとして利用できるようになる。

[daimatz]

trace を使う

[choplin]

reading / "Haskell でのデバッグ - あどけない話"

[joan9]

Haskell でのデバッグ あなただけの雑誌Flipboardから送信