Я описываю этот вопрос, используя пример из книги.
В книге Саймона Томпсона "HASKELL - сущность функционального программирования" на стр. 82 (см. изображения ниже) показаны этапы оценки для fac 4
.
Вопрос:
Можно ли использовать какой-либо инструмент или какой-нибудь "отладчик Haskell", который выписывал шаги оценки, которые использует GHCi, когда он будет оценивать значение fac 4
?
Предпочтительно в человекообразном формате для учебных и учебных целей.
Было бы также полезно иметь автоматическое объяснение для каждого этапа оценки, например, какое уравнение использовалось на этапе перезаписи.
Моя основная цель - получить более глубокое понимание того, как выполняются шаги перезаписи, когда я запускаю простые образовательные примеры Haskell (например, fac
).
Есть ли способ сделать это? Если да, то как?