On Mon, Mar 09, 2009 at 07:25:26AM +0100, Florian Weimer wrote:
> * Eric Rannaud:
> > The issue is that only procedures designed to take one record as
> > argument can use this trick.
>
> You need special markers for named arguments anyway, or you lose the
> ability to use arbitrary parameter names in lambda expressions (or you
> need some set of intransparent rules how parameter names are handled
> in this context).
I'm sorry, I am not sure I understand what you're saying here. Can you
give an example? Thanks.
In case we're not talking about the same thing: what I would like to be
able to do is to call any procedure I want using keywords to identify
its arguments, no matter how the procedure was defined.
Are you talking about a situation like:
let g some_proc =
some_proc foo: 12
g (lambda x -> x + 1)
It won't work because the lambda named its first argument 'x' instead of
'foo'? Is this really a problem? As Jonathan said, labels must become
part of the procedure's type to deal with this.
Thanks.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
