Re: [Haskell-cafe] Visualizing Typed Functions

2009-05-07 Thread Dan Piponi
Duane, Your fourth diagram is hard to distinguish from that for a function that takes three inputs and returns one. And what would be the diagram for a function that maps one binary function to another? I spend a bit of my time at work playing with typed visual dataflow type tools. I've never

Re: [Haskell-cafe] Visualizing Typed Functions

2009-05-07 Thread Duane Johnson
No, this is a first-time draft that I made by hand using Inkscape. If we get to a point where a consistent set of visualizations makes sense, it would be rewarding to turn into code though. -- Duane On May 7, 2009, at 3:06 PM, John Van Enk wrote: Do you have code to generate these images

Re: [Haskell-cafe] Visualizing Typed Functions

2009-05-07 Thread Sebastian Fischer
I've never really seen a satisfactory visual scheme for clearly representing higher order functions I saw a visual scheme for this purpose at FDPE'08. It uses an alternating colouring scheme, representing arguments as holes: a hole in a black thing is white and a hole in a white thing is