Here[0] is a second attempt at drawing the images for the functions. I've done only the first two versions of map, will do the others until the end of the week. [0]: http://pgraycode.wordpress.com/2010/03/24/visual-haskell-debugger-part-2/ -- Mihai Maruseac On Tue, Mar 23, 2010 at 4:28 PM, Mihai Maruseac wrote:

I'll be drawing those graphs by hand today at my Operating Systems course :) I'll blog them today.

Making a library for transforming the source code into a graph would help me finish my debugger easier. But the library would have to take into account the fact that the output graph may be used in a wide range of ways from debugging to teaching (why not integrate it for example with LaTeX Beamer and its support for predefined image zooms?).

On Tue, Mar 23, 2010 at 4:15 PM, Dupont Corentin wrote:

...

Hello! Thanks for the welcome!

Ivan: Too overcome the problem of large and messy images, i propose too have a system to navigate into the code. You could zoom in and out, occulting unecessary details while zooming out. My big graphic of map (+1) could easely be summed up to:

(Embedded image moved to file: pic36782.jpg)

My idea is to provide an efficient system of zooming, as you can zoom in a fractal picture, showing more or less details!

Such a tool, if created, could be implemented as a part of, or used by SourceGraph.

In the first place i thought the GHC API would be great to infer each function's type. But indeed haskell-src-exts seems to be more appropriate as you get the structure of the program.

Lyndon: Wahou this page (MockingBirds) his very interresting and funny!

Mihai: That's funny we had the same idea quite the same time. I guess that idea is "in the air" and as said one contributor on your Reddit, "a well explored territory": It has major pitfalls and the reason why we heard little about that wild territory is because many explorers never returned :) By the way, i'm interrested and i could contribute on the little spare time i have.

My idea is to make it as a library that display code as graphs. That library could be used for several purposes: debugging as you proposes, but also education, shows, audit (with SourceGraph), and why not construction... I think this kind of visual tool could be a "plus" in Haskell popularity. Despite not being that efficient, it is spectacular.

Ronald: I agree big graphs are confusing. The big point of the project is to find or adapt an algorithm to simplify the graph and make it valuable. I'll have to make little graphics for each of your versions of map, this may be instructive to me...

Stephen: I'll have a look at those interaction nets! But the home page for INBlobs seems to be down.

Thank you all for you kind responses. Corentin

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe