Каков наилучший способ тестирования и взаимодействия с внутренними функциями, определенными внутри функции верхнего уровня?

Когда я программирую в Javascript, мне очень удобно иметь возможность использовать отладчик для остановки выполнения программы в любой момент и для возможности запускать команды и проверять переменные оттуда.

Теперь, вернувшись в Haskell, есть ли способ запуска произвольных функций в интерактивном GHCI REPL или я ограничен вещами, объявленными на уровне?

Каков "стандартный" подход к работе и отладке внутренних функций и значений?

Ответ 1

Когда вы остановились в точке останова в GHCi, вы можете получить доступ ко всему, что в области видимости. Скажем, у вас есть такая функция:

foo :: Int -> Int
foo x = g (x + 2)
  where g y = x^y

Вы можете установить точку останова на foo и попробовать позвонить:

> :break foo
Breakpoint 1 activated at /tmp/Foo.hs:(2,1)-(3,17)
> foo 42
Stopped at /tmp/Foo.hs:(2,1)-(3,17)
_result :: Int = _

g пока не находится в области видимости, поэтому мы должны сделать один шаг:

[/tmp/Foo.hs:(2,1)-(3,17)] > :step
Stopped at /tmp/Foo.hs:2:9-17
_result :: Int = _
g :: Integral b => b -> Int = _
x :: Int = 42

Теперь, когда g находится в области видимости, мы можем использовать его как любую функцию верхнего уровня:

[/tmp/Foo.hs:2:9-17] > g 2
1764
[/tmp/Foo.hs:2:9-17] > g 3
74088