Как мне наблюдать эту рекурсивную функцию с GHood или Vacuum? - PullRequest
Новая
       22

Как мне наблюдать эту рекурсивную функцию с GHood или Vacuum?

3 голосов
/ 18 ноября 2011

Я использую GHood для наблюдения за выполнением этой реализации функции секционирования и ожидаю увидеть двоичное дерево.Вместо этого я получаю это дерево: enter image description here

import Debug.Observe

p :: (Observable a, Ord a, Num a) => a -> a -> a
p k n 
  | k > n = 0
  | k == n = 1
  | otherwise = (observe "left" p (k+1) n ) + (observe "right" p k (n-k))

>>> printO $ observe  "p" p 1 3

Я также безуспешно пытался использовать ленивые натуральные числа от Data.Number.Natural согласно совету по irc.

При использовании Vacuum.CairoЯ получаю еще меньше назад, просто результат выполнения функции до завершения. 

>>> m: + System.Vacuum.Cairo
>>> view $ p 1 5
...