<br><br><div><span class="gmail_quote">On 8/20/06, <b class="gmail_sendername">Jim Jewett</b> <<a href="mailto:jimjjewett@gmail.com">jimjjewett@gmail.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
We're discussing the alternative of<br><br>>>> def f(a:int, b):<br><br>which is better for some things -- but much worse for others; if the<br>metadata is any longer than int, it is almost certainly worse. So (I
<br>believe) he is suggesting that we just reuse decorator syntax<br><br>>>> @sig(a=int)<br>... def f(a, b):</blockquote><div><br>I don't believe that's true, because this is the syntax he showed:<br><br><span class="q">
> @callmeta<br>> def foo( a: [ SetDoc("frobination count"), InRange(3,9) ],<br>> b: InSet([4,8,12]) )<br>> -> IsNumber:<br><br>I guess I still don't really understand what he's getting at or what the value of @callmeta is in that example. It just seems like extra noise with no value to me...
<br><br>Ron: what *precisely* does the @callmeta decorator do? If you can express it in code, so much the better.<br><br> Paul Prescod<br><br></span></div></div>