functional-programming - OCaml コードを適切にデバッグするには?

Question

経験豊富な OCaml 開発者がコードをデバッグする方法を教えてください。

私がやっていることはただ使っているだけPrintf.printfです。きれいな出力が必要なときにすべてコメントアウトしなければならないので、面倒です。

このデバッグ プロセスをより適切に制御するにはどうすればよいですか? loggingそれらをオンまたはオフに切り替える特別な注釈？

ありがとう

Answer 1

OCaml デバッガーには、ステートフル プログラミングではあまり見られない、タイム トラベルと呼ばれる、あまり知られていない機能があります。セクション16.4.4を参照してください。基本的に、ステップからステップへのすべての情報がスタックに保持されるため、処理中に保存された各ステップに関連付けられた変更を保持することにより、時間内に変更を移動して、そのステップ中の値を確認できます。プログラムを実行して、各ステップですべての値をデータ ストアに記録した後、ステップ番号に基づいてそのデータ ストアにインデックスを付けて、そのステップでの値を確認すると考えてください。