<br><br><div class="gmail_quote">On Thu, Aug 26, 2010 at 22:41, bearophile <span dir="ltr">&lt;<a href="mailto:bearophileHUGS@lycos.com">bearophileHUGS@lycos.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Philippe Sigaud:<br>
<div class="im">&gt; What you lose is the CT checking that can be done for multiplication or<br>
&gt; additions if all dimensions are exposed in the type.<br>
<br>
</div>If you want, you may create a second nD array struct where sizes too are CT values, plus two methods/free functions to convert between the two array types.<br><br></blockquote><div><br>But in the same way that you cannot always convert T[] into T[3], how could you convert a Tensor!(int,2) (2D, runtime dims) into a Matrix!(int,4,4)? (2D, CT dim: 4*4)<br>
<br><br>Philippe<br><br><br> <br></div></div>