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

Question

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

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

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

Answer 1

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

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