Hello, I am quite new to Haskell and I am seeking the best way to display trees graphically when using Haskell. I have looked on the web, but am still not clear! For those interested, please find more detailed information below. Regards, Luana Fagarasan Further information: I am writing a theorem prover in Haskell as my final year project. This is very loosely based on the HAL theorem prover described in "ML for the working programmer" by Larry Paulson. I would like to display the proof tree (containing the main goal as the root and subgoals that were developed along the way as leaves/nodes), once a proof is found. More generally I would be interested in understanding more about GUIs when using Haskell.
Hello, On Wed, Mar 07, 2012 at 09:06:59PM +0000, Luana Fagarasan wrote:
I am quite new to Haskell and I am seeking the best way to display trees graphically when using Haskell. I have looked on the web, but am still not clear!
Andrew J. Kennedy wrote a functional pearl describing how to draw a tree in "aesthetically pleasing" way[1]. His code is written in SML, and the output isn't ready-to-display image, but you can take the idea and use some GUI toolkit (GTK seems most ready-to-use, but I may be terribly wrong) to draw the image in window. 1. http://research.microsoft.com/~akenn/fun/DrawingTrees.pdf -- Regards, Alexander Batischev 4096R/0C8BFD03 CE6C 4307 9348 58E3 FD94 A00F 3569 61A2 0C8B FD03
While it is nice to plug an FPer, we would be remiss if we didn't also mention that there is a hugh literature on graph drawing, out there. Wikipedia seems to be a great place to start. http://en.wikipedia.org/wiki/Graph_drawing Robby On Wed, Mar 7, 2012 at 3:30 PM, Alexander Batischev <eual.jp@gmail.com> wrote:
Hello,
On Wed, Mar 07, 2012 at 09:06:59PM +0000, Luana Fagarasan wrote:
I am quite new to Haskell and I am seeking the best way to display trees graphically when using Haskell. I have looked on the web, but am still not clear!
Andrew J. Kennedy wrote a functional pearl describing how to draw a tree in "aesthetically pleasing" way[1]. His code is written in SML, and the output isn't ready-to-display image, but you can take the idea and use some GUI toolkit (GTK seems most ready-to-use, but I may be terribly wrong) to draw the image in window.
1. http://research.microsoft.com/~akenn/fun/DrawingTrees.pdf
-- Regards, Alexander Batischev
4096R/0C8BFD03 CE6C 4307 9348 58E3 FD94 A00F 3569 61A2 0C8B FD03
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
participants (3)
-
Alexander Batischev -
Luana Fagarasan -
Robby Findler