Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-29 Thread Miguel Vilaca
Hi, For Reekie's Visual Haskell, see http://ptolemy.eecs.berkeley.edu/~johnr/papers/visual.html Also take a look on the CAL language (http://openquark.org/Open_Quark/Welcome.html Welcome to the (...) Open Quark Framework for Java, and the lazy functional language CAL. AFAIK, the CAL language

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-24 Thread Mihai Maruseac
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,

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-24 Thread Dupont Corentin
Hello, Very interresting. Visual Haskell seems to be very close to the thing i imagined. Mihai what do you think? Unfortunatly i cannot find it on the web! There is something for MS Visual Studio but i don't think this is the same... Corentin On Thu, Mar 25, 2010 at 12:07 AM, Miguel Vilaca

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-24 Thread Ronald Guida
Those are some very interesting visual languages, Miguel! I remember drawing some diagrams when I was teaching myself Haskell, but I never actually tried to create a formal visual language. Since my background is in hardware engineering, I would naturally gravitate toward schematic diagrams. I

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-24 Thread Richard O'Keefe
On Mar 25, 2010, at 2:33 PM, Ronald Guida wrote: ... a version of map as text ... ... a diagram ... The thing that strikes me forcibly is that the diagram is much bigger than the text. Not only that, but if I am reading it correctly, the text has three lines, a type specification and two

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-24 Thread Ronald Guida
On Wed, Mar 24, 2010 at 9:47 PM, Richard O'Keefe o...@cs.otago.ac.nz wrote: On Mar 25, 2010, at 2:33 PM, Ronald Guida wrote: ... a version of map as text ... ... a diagram ... The thing that strikes me forcibly is that the diagram is much bigger than the text. Not only that, but if I am

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-23 Thread Stephen Tetley
Hello All I seem to remember the graphical notation 'interaction nets' as having a well defined translation into the lambda calculus (so one wouldn't need to invent or formalize a new notation). As I'm no longer a student and don't have access to the ACM digital library I haven't been able to

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-23 Thread Dupont Corentin
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

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-23 Thread 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

[Haskell-cafe] Graphical representation of Haskell code

2010-03-22 Thread Dupont Corentin
Hello, I’m relatively new to Haskell. I’m wondering if it exist a tool to graphically represent Haskell code. Look at the little graphics at: http://www.haskell.org/arrows/index.html (and following pages) from Ross Paterson. http://www.haskell.org/arrows/index.htm If found these very useful

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-22 Thread Ivan Miljenovic
On 23 March 2010 10:02, Dupont Corentin corentin.dup...@gmail.com wrote: I’m relatively new to Haskell. Welcome! I’m wondering if it exist a tool to graphically represent Haskell code. Look at the little graphics at: http://www.haskell.org/arrows/index.html (and following pages) from Ross

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-22 Thread Lyndon Maydwell
Reminds me of To Dissect a Mockingbird [http://dkeenan.com/Lambda/]. On Tue, Mar 23, 2010 at 7:12 AM, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: On 23 March 2010 10:02, Dupont Corentin corentin.dup...@gmail.com wrote: I’m relatively new to Haskell. Welcome! I’m wondering if it exist a

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-22 Thread Mihai Maruseac
I've proposed to do it at this GSOC. More exactly, it is still in the feedback phase, I'll integrate all feedback in another blog post and in an application for GSOC tomorrow. If you want to read about it in this stage, you can visit my blog [0]. Feedback on reddit can be seen here[1]. The

Re: [Haskell-cafe] Graphical representation of Haskell code

2010-03-22 Thread Ronald Guida
On Mon, Mar 22, 2010 at 7:02 PM, Dupont Corentin corentin.dup...@gmail.com wrote: Hello, I’m relatively new to Haskell. I’m wondering if it exist a tool to graphically represent Haskell code. ... Let’s try to do it on a simple example, as an exercise: f = Map (+1) Your graphic for f = map