Re: [Haskell-cafe] Visualizing Typed Functions
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 really seen a satisfactory visual scheme for clearly representing higher order functions and I've never managed to come up with one myself. -- Dan On Thu, May 7, 2009 at 2:01 PM, Duane Johnson duane.john...@gmail.com wrote: I'm not sure what the policy is on posting with graphical attachments, but I'll give this a tentative try. In case this does not come through with images, I've also posted this on my blog at http://blog.inquirylabs.com/2009/05/07/visualizing-typed-functions/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Visualizing Typed Functions
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 from type signatures? If so I'd *love* to see it. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Visualizing Typed Functions
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 black. I only found an ACM link: http://portal.acm.org/citation.cfm?id=1411272 Cheers, Sebastian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe