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
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/