Есть ли отладчик трассировки типа `dbg` для Haskell или OCaml?

Question

Есть ли отладчик трассировки, например dbg, доступный для Haskell или OCaml?

Очень неформально, это отладка в формате printf только лучше, полностью настраиваемая во время выполнения. По сути, пользователь может зарегистрировать обработчик трассировки при запуске системы, который будет вызываться для каждого действия из набора действий, поддерживаемых средой выполнения (например, при каждом вызове/возврате функции) на каждое отправленное/полученное сообщение и т. Д.). , Такой обработчик может регистрировать каждую операцию, что дает приятную последовательность всех шагов, происходящих в (части) системы.

Этот механизм может использоваться для регистрации/отладки, профилирования определенных частей системы, но во многих случаях просто для того, чтобы узнать, как работает новая (неизвестная для программиста) система.

Answer 1

Для Haskell GHCi обеспечивает простой отладочный отладчик стиля. Посмотрите, что это documentation, чтобы найти более подробную информацию об этом. Некоторые его особенности являются

• Возможность установки точки останова
• Пошаговое исполнение
• Проверка локальных переменных
• Обработка исключений в качестве точки останова
• Typing в любом коде, чтобы выполнить его немедленно