<div dir="ltr">What is a &quot;type-level integer expression&quot;? The only thing I can think of is allowing numeric parameters to generics, like &quot;Tuple&lt;4, Int&gt;&quot;, but I don&#39;t think that&#39;s what you&#39;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">&lt;<a href="mailto:jgroff@apple.com" target="_blank">jgroff@apple.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span><br>
&gt; On Jan 28, 2016, at 2:37 PM, Joe Groff &lt;<a href="mailto:jgroff@apple.com" target="_blank">jgroff@apple.com</a>&gt; wrote:<br>
&gt;<br>
&gt;<br>
&gt;&gt; On Jan 28, 2016, at 2:36 PM, Jacob Bandes-Storch &lt;<a href="mailto:jtbandes@gmail.com" target="_blank">jtbandes@gmail.com</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; I like this idea, but the syntax seems dangerously close to a call site for  &quot;func *(lhs: Int, rhs: Any.Type)&quot;  (which is obviously ill-advised, but it is allowed).<br>
&gt;&gt;<br>
&gt;&gt; Maybe we could take advantage of something which would be very invalid under the current grammar, namely (n T) rather than (n * T):<br>
&gt;&gt;<br>
&gt;&gt;    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>