[Haskell-cafe] Graphical representation of Haskell code

Mihai Maruseac mihai.maruseac at gmail.com
Wed Mar 24 17:28:57 EDT 2010

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
<mihai.maruseac at gmail.com> 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
> <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

More information about the Haskell-Cafe mailing list