ghci отображает стек выполнения - PullRequest
Новая
       5

ghci отображает стек выполнения

6 голосов
/ 12 июля 2010

Итак, я прорабатываю некоторые начальные упражнения в Real World Haskell и хочу узнать, есть ли опция в GHCi, чтобы она показывала оценку функции с параметрами при каждом рекурсивном вызове.Так, например, я написал простую версию 'map', и когда я ее применю, я бы хотел, чтобы GHCi отображал каждый рекурсивный вызов с реальными аргументами (и, надеюсь, с результатами выражения).Что-то, что позволяет мне следить за тем, что происходит за кулисами.

PS Когда я пишу это, у меня возникает ощущение, что оно может быть ограничено ленью модели исполнения haskell, поправьте меня, если я ошибаюсь.

Ответы [ 3 ]

3 голосов
/ 12 июля 2010

Вы можете использовать капюшон для этого: 

import Debug.Hood.Observe

map2 f [] = []
map2 f (x:xs) = f x : (observe "map2" $ map2) f xs

main = runO $ print $ map2 (+1) ([1..10] :: [Int])

Когда вы запустите его, он будет печатать каждый вызов map2 с соответствующими аргументами и возвращенным результатом. Вы увидите что-то вроде: 

.
.
.
-- map2
{ \ { \ 10  -> 11
    , \ 9  -> 10
    } (9 : 10 : []) 
    -> 10 : 11 : []
}
-- map2
{ \ { \ 10  -> 11
    } (10 : []) 
    -> 11 : []
}
-- map2
{ \ _ []  -> []
}

Подробнее см. примеры .

3 голосов
/ 12 июля 2010

Я обычно использую Debug.Trace : 

import Debug.Trace

buggy acc xs | traceShow (acc,xs) False = undefined
buggy acc []     = acc
buggy acc (x:xs) = buggy (acc + x) xs

main = print $ buggy 0 [1..10]

Это позволяет мне увидеть, как работает глючная функция: 

(0,[1,2,3,4,5,6,7,8,9,10])
(1,[2,3,4,5,6,7,8,9,10])
(3,[3,4,5,6,7,8,9,10])
(6,[4,5,6,7,8,9,10])
(10,[5,6,7,8,9,10])
(15,[6,7,8,9,10])
(21,[7,8,9,10])
(28,[8,9,10])
(36,[9,10])
(45,[10])
(55,[])
55

Ключ имеет шаблон, который никогда не совпадает, но печатает что-то, пока он не совпадает. Таким образом, он всегда оценивается (и, следовательно, печатает отладочную информацию), и его легко привязать к любой функции. Но вы также можете сделать так, чтобы он совпадал, если вы хотите видеть только определенные случаи, например: 

buggy acc [] = acc
buggy acc (x:xs) | traceShow (acc, x, xs) True = buggy (acc + x) xs

Тогда вы получите только выходные данные отладки в неосновном случае: 

(0,1,[2,3,4,5,6,7,8,9,10])
(1,2,[3,4,5,6,7,8,9,10])
(3,3,[4,5,6,7,8,9,10])
(6,4,[5,6,7,8,9,10])
(10,5,[6,7,8,9,10])
(15,6,[7,8,9,10])
(21,7,[8,9,10])
(28,8,[9,10])
(36,9,[10])
(45,10,[])
55

YMMV.

2 голосов
/ 12 июля 2010
...