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

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

70 голосов
/ 03 апреля 2012

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

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

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

1 Ответ

85 голосов
/ 03 апреля 2012

Когда вы остановились на точке останова в 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
...