[Haskell-cafe] Graphical graph reduction

[Bulat Ziganshin]

Hello dainichi,

Friday, February 22, 2008, 6:55:54 PM, you wrote:

> If nothing similar exists, I was thinking about creating such a
> tool (i.e. an interpreter with additional graph-displaying features)

not exactly this, but now i'm reading introduction into Q language [1]
which says on p.11 "The interpreter has a built-in symbolic debugger
which allows you to execute a reduction sequence step by step: ...",
so you may use it to demonstrate how reductions work. Q by itself is
rather interesting language - haskell-like syntax, dynamic, eager with
good support for laziness. btw, this manual is probably better than we
have for Haskell, i've seen programmers who thinks that Haskell is
hard to learn and Q is simple and may be it's just due to its manual
which takes into account typical learning problems and explains
"obvious" things (which are really obvious only for seasoned FP
programmers)

[1] http://switch.dl.sourceforge.net/sourceforge/q-lang/qnutshell-0.5.pdf


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com