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.johnson@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/