[Haskell] Re: elementary tracing for Haskell

[Thomas Davie]

Hi,
   I'm glad that there's interest for a tool like hat-anim.  I should 
warn you however that the current version is far from perfect - it has 
some problems with displaying infinite lists and with some lambda 
expressions and worst of all has a pretty nasty memory leek problem 
(there's what I get for writing it in C).  I am currently re-writing it 
in Haskell, and hopefully will produce a more reliable tool.  I'll tell 
you when the tool is working.

Thanks

Tom Davie

On 12 Oct 2004, at 14:34, Olaf Chitil wrote:

>
>
> From: Colin Runciman <colin at cs.york.ac.uk>
> Date: 11 October 2004 10:38:21 BST
> To: Philip Wadler <wadler at inf.ed.ac.uk>
> Cc: John Hughes <rjmh at cs.chalmers.se>, haskell at haskell.org, Simon 
> Thompson <S.J.Thompson at kent.ac.uk>,  Susan Eisenbach 
> <sue at doc.ic.ac.uk>
> Subject: [Haskell] Re: elementary tracing for Haskell
>
>
> Phil,
>
>> Are there any tools for beginning programmers that give traces of 
>> Haskell programs?  I want something like the following.  Given the 
>> defintion
>>
>>     sum [] = 0
>>     sum (x:xs) = x + sum xs
>>
>> typing
>>
>>     sum [1,2,3]
>>
>> should yield this trace
>>
>>     sum [1,2,3]
>>     1 + sum [2,3]
>>     1 + 2 + sum [3]
>>     1 + 2 + 3 + sum []
>>     1 + 2 + 3 + 0
>>     1 + 2 + 3
>>     1 + 5
>>     6
>>
>> I know there are advanced tools like Hat, but (unless I'm missing 
>> something) they don't yield anything as naive as the above, and it's 
>> naive users I'm trying to help here.  -- P
>
> There is a Hat tool called hat-anim that can do this kind of thing.  
> It was developed by Tom Davie as a student project.  It is not part of 
> the current "official release" of Hat but is included in the CVS 
> version.  Tom is now a PhD student at Canterbury (tatd2 at kent.ac.uk), 
> supervised by Olaf Chitil (O.Chitil at kent.ac.uk).
>
> Regards
> Colin R
>
>
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>
>
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/enriched
Size: 2229 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/haskell/attachments/20041012/c897ee64/attachment.bin