そのうちO'Reillyから"Real World Haskell"が出版されます。2008/11 には書店入手可能だという噂です。（まぁ読むだけなら既に無料公開のPDFで読めるんですが）
出版されたら読書会とかしませんか？私は東京近辺なら参加可能です。
Exerciseとかも載っている本なので勉強会がしたいなぁ、と。
]]>そんな物があるんですねえ。便利そうだ。
Data.Mapを使ったプログラムに適用してみようとしたら、hatのライブラリの中にないといわれたのですが、どうやって組み込めばいいのでしょうか？
]]>Hat - the Haskell Tracer http://www.haskell.org/hat/
というのがあります。
洗練された Linux distribution を使えば簡単ですが、そうでないひとは
の手順で導入する必要があります。
hmake は ghc でないコンパイラもサポートしていますが、hat を使うなら
ghc で十分だと思われます。
hat 2.04 の configure にはバグがあります。もしもインストールに失敗したら
ことで、成功するかもしれません。
hat-observe の使い方は hat のページにマニュアルがあります。
ためしに square(3+4) の例をやってみると次のようになります。
-- Sample.hs
main = do print (show foo)
return ()
foo :: Int
foo = square (3+4)
square :: Int -> Int
square x = x * x
% hmake -hat Sample
% ./Sample
% hat-observe Sample
hat-observe 2.04 (:? for help, :q to quit)
hat-observe> square
square 7 = 49
hat-observe>
hat のページにパターンマッチの展開の具体例が載っています。
]]>まず、ghc と Hugs の機能にはそのようなものはなかったと記憶しています。そして、ほかの Haskell 実装には(たしか)対話環境がそもそもありません。
ただ、 ghc/Hugs にはいちおう Debug.Trace モジュールというのがあり、 trace 関数というのが用意されてはいます。
trace :: String -> a -> a
ただし、これは printf デバッグみたいなものなので、 scheme の trace のようなものではありません。第一引数の文字列を表示してから、第二引数の値を返します。使い方はこんな感じ。
fact_p 0 = trace "=> 1" 1
fact_p n = trace ("<= " ++ show n) $ n * fact_p (n-1)
なぜこのようなことになっているかというと、 trace が一般に非常に難しい問題をはらんでいるからでしょう。 Haskell は遅延評価言語なのですが、表示をするためには何らかの値が必要となり、その結果として評価順序が本来の計算と変わる可能性もあるからです。
たとえば、たらいまわし関数を trace しようとすると、どうなるのでしょうか。どうなるべきでしょうか。
などなど、一筋縄では行かない問題があるためではないかと思っています。実際、 trace 関数も簡単そうに見えて、使ってみたら意外なところで値を評価してしまって頭を抱えた、みたいなことがありました。
ちなみに、実際に(概念上)どのように簡約されていくか、という過程については英語のHaskellの本ではそれなりに説明されていることがあります。
]]>ちょっと趣旨は違うのかもしれませんが、私も「どのように評価されていくのか」がわかるようなツールがあれば欲しいと思っています。
たとえばschemeのtraceのようなもの
http://blog.livedoor.jp/dankogai/archives/50458135.html
は、Haskellには存在しないのでしょうか。
ご存知の方がいらっしゃいましたら、是非ともご教授ください。
]]>Haskellが遅延評価して値を計算する過程を、判りやすく表示してくれるツールなりライブラリとか、もしご存知の方があれば教えて頂けないでしょうか？
例えて言うと、square (3+4) -> (3+4)*(3+4) -> 7*7 -> 49 みたいな変形の過程が見えるようなツールがあればいいなぁ、ということなのですが。
]]>haskellグループの掲示板を有効にしました。
Haskellに関する情報交換にお使いください。
]]>