<div dir="ltr">What is a "type-level integer expression"? The only thing I can think of is allowing numeric parameters to generics, like "Tuple<4, Int>", but I don't think that's what you're talking about.<div class="gmail_extra"><br clear="all"><div><div><div dir="ltr"><div>Jacob</div></div></div></div>
<br><div class="gmail_quote">On Thu, Jan 28, 2016 at 2:38 PM, Joe Groff <span dir="ltr"><<a href="mailto:jgroff@apple.com" target="_blank">jgroff@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span><br>
> On Jan 28, 2016, at 2:37 PM, Joe Groff <<a href="mailto:jgroff@apple.com" target="_blank">jgroff@apple.com</a>> wrote:<br>
><br>
><br>
>> On Jan 28, 2016, at 2:36 PM, Jacob Bandes-Storch <<a href="mailto:jtbandes@gmail.com" target="_blank">jtbandes@gmail.com</a>> wrote:<br>
>><br>
>> I like this idea, but the syntax seems dangerously close to a call site for "func *(lhs: Int, rhs: Any.Type)" (which is obviously ill-advised, but it is allowed).<br>
>><br>
>> Maybe we could take advantage of something which would be very invalid under the current grammar, namely (n T) rather than (n * T):<br>
>><br>
>> let values: (4 Int) = (1, 2, 3, 4)<br>
<br>
</span>Bare juxtaposition might be problematic if we ever do introduce type-level integer expressions, though.<br>
<span><font color="#888888"><br>
-Joe</font></span></blockquote></div><br></div></div>