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
