Jon Lang wrote:

I believe that we already have a signature creation operator, namely
":( @paramlist )".

Yes, sorry, I missed that.

> ...
Regardless, the magic that makes this work would be the ability to
assign a flat list of values to a signature.  Is this wise?

We already have the ability to do that in function calls. I'd like to see exactly the same semantics apply when assigning (or binding) to a signature. So I don't regard it as magic, just a fundamental feature of the language.

Reply via email to