[Haskell-cafe] Graphical representation of Haskell code

[Mihai Maruseac]

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
<corentin.dupont at gmail.com> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>