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 する場合、軽量ス
本物のプログラマはHaskellを使う：ITpro
筆者 shelarcy Haskellは，関数型プログラミングというジャンルに属する言語です。Haskellや関数型プログラミングを題材に物事を見ていくことで，今まで思いもよらなかったような未知の世界を知ることができるでしょう。 プログラミング言語を学ぶという行為には， 言語の基本的な文法や考え方を理解する 言語の文化圏で広く使われている考え方に親しんでその言語らしい書き方を習得する 単に言語を使ってできること以上の知恵を学ぶ の3段階があります。この連載では，三つ目の段階を目標に，Haskellプログラミングの世界を一つひとつ丁寧に紹介していきます。 更新は毎月第1水曜日（1月のみ第2水曜日）
第17回 QuickCheckでデータ駆動型テストを行う
テストには常にある種の不安が残ります。このテストは果たしてすべての場合に妥当だと言えるのか？ 何か見落としてはいないか？ その見落としは致命的なものではないか？ Haskellの静的な型検査をすり抜けてくるバグに対処するには，実際にプログラムを動作させ，HUnitなどで動的なテストを行います。では，動的なテストをすり抜けるバグにはどう対処すればいいでしょうか？ 一番単純な対策は，テスト項目数を増やすことです。たいていの場合，テスト項目は「その型の取りうる値を想像し，その例に対してきちんと動作するかどうかを確かめる」という形で記述します。単純に考えるなら，テスト項目が増えれば増えるほどテストの正確さは増していくはずです。 しかし，個々の値に対してテストを記述していくのは手間のかかる作業です。テストを行うべき値の集合に対してテストを行うツールが欲しくなりますね。それが「データ駆動型のテスト・ツ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: すごいHaskellたのしく学ぼう!: Miran Lipovača (著), 田中英行 (翻訳), 村主崇行 (翻訳): 本
