dbgHaskell や OCaml で利用できるようなトレース デバッガはありますか?
非常に非公式に言えば、これは printf スタイルのデバッグよりも優れており、実行時に完全に構成可能です。基本的に、ユーザーはシステムの実行中にトレース ハンドラーを登録できます。トレース ハンドラーは、ランタイムでサポートされている一連のアクションから各アクションで呼び出されます (たとえば、各関数呼び出し/リターン、各メッセージの送受信など)。 . このようなハンドラーはすべての操作をログに記録し、システム (の一部) で発生するすべてのステップの適切なシーケンスを提供します。
このメカニズムは、ロギング/デバッグ、システムの特定の部分のプロファイリングに使用できますが、多くの場合、新しい (プログラマーには知られていない) システムがどのように機能するかを発見するためだけです。