Chris Lattner wrote:
> The first difference is that every instance of a lambda gives you a
> value of a new (anonymous) type, which makes them mostly only useful
> with templates.
---
Ahh..didn't know that. That certainly would make them less useful
in a general sense. I've only been exposed to the 'definable-value, returned'
variety as being the main type used and talked about in the 'higher order perl'
(higher order, that instead of working on data, you have functions working
on other functions that that may work on the data (or call other functions,
I suppose! ;-)).
Seems like a good way to provide automatically compatibility
layers for data marshaling so that other layers don't have to know about
what's really in the lower layers, ala an OSI network model.
