--- On Tue, 3/31/09, Oliver Bandel <oliver@first.in-berlin.de> wrote:
> Quoting "Jon Harrop" <jon@ffconsultancy.com>:

> > On Monday 30 March 2009 23:38:45 Ed Keith wrote:
> >> I do wish I had better tools for visualizing FP designs. I use
> >> Nassi-Schneiderman diagram for procedural designs and UML of OO designs.
> > 
> > That's an interesting idea. Someone must have worked on this?
[...]


> A paper which you also might find interesting:
>
> "To Dissect a Mockingbird:
> A Graphical Notation for the Lambda Calculus with Animated Reduction"
> 
>  http://users.bigpond.net.au/d.keenan/Lambda/index.htm

The notation is very useful for teaching, but I can not imagine using it to design a complex system.

   -EdK

Ed Keith
e_d_k@yahoo.com

Blog: edkeith.blogspot.com