История изменений
Исправление AndreyKl, (текущая версия) :
ну для хаскеля есть волшебный Debug.Trace ссылка (гуглится кстати на раз-два по haskell debug print).
Вот эта страничка содержит кое какое описание https://wiki.haskell.org/Debugging
Плюс есть пошаговый отладчик https://downloads.haskell.org/~ghc/7.4.1/docs/html/users_guide/ghci-debugger....
Я много не пользовал, но и трейс и отладчик пробовал на простых задачах. Работают как обычно совершенно. Выручают оба.
В идрис - не знаю.
Исправление AndreyKl, :
ну для хаскеля есть волшебный Debug.Trace ссылка (гуглится кстати на раз-два по haskell debug print).
Вот эта страничка содержит кое какое описание https://wiki.haskell.org/Debugging
Плюс есть пошаговый отладчик https://downloads.haskell.org/~ghc/7.4.1/docs/html/users_guide/ghci-debugger....
Я много не пользовал, но и трейс и отладчик пробовал на простых задачах. Выручают оба.
В идрис - не знаю.
Исходная версия AndreyKl, :
ну для хаскеля есть волшебный Debug.Trace ссылка (гуглится кстати на раз-два по haskell debug message).
Вот эта страничка содержит кое какое описание https://wiki.haskell.org/Debugging
Плюс есть пошаговый отладчик https://downloads.haskell.org/~ghc/7.4.1/docs/html/users_guide/ghci-debugger....
Я много не пользовал, но и трейс и отладчик пробовал на простых задачах. Выручают оба.
В идрис - не знаю.