Archive for 7 月, 2007

ocamldebugの調査

by ginriki | 7 月 16th, 2007

ML言語の一種であるOcamlに付属している、ocamldebugというデバッガについて調べたのでメモ。
かなり間違っている可能性があるので、注意。

gdbライクなCUI

break,info,helpコマンド [...]…

by ginriki | 7 月 13th, 2007

Haskell処理系であるGHCにはDebug.Traceモジュールというのが提供されています*1。その中のtrace関数を使うと、C言語のおけるprintfデバッグのようなことができます。
ただ、Haskellは遅延 [...]…

by ginriki | 7 月 9th, 2007

C言語の関数をHaskellから呼び出すための記述に関する仕様が存在します*1
自分が使っているHaskell処理系のGHCは、この仕様に準拠しています。そこで、この機能を使ってバグったC関数をHaskellから呼ぶこ [...]…

by ginriki | 7 月 9th, 2007

教養のために「ふつうのHaskellプログラミング」を読みました。Haskellを触ったことがない私のような人が読むのにちょうど良い本でした。
ただ、Monad則については読んでも良くわかりませんでした。Maybeモナ [...]…