<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jun 30, 2016 at 2:30 PM, Dave Abrahams <span dir="ltr">&lt;<a href="mailto:dabrahams@apple.com" target="_blank">dabrahams@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 class=""><br>
on Wed Jun 29 2016, Erica Sadun &lt;erica-AT-ericasadun.com&gt; wrote:<br>
<br>
&gt;&gt; On Jun 29, 2016, at 3:59 PM, Xiaodi Wu via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;&gt;<br>
</span><span class="">&gt;&gt; On Wed, Jun 29, 2016 at 4:50 PM, David Sweeris &lt;<a href="mailto:davesweeris@mac.com">davesweeris@mac.com</a> &lt;mailto:<a href="mailto:davesweeris@mac.com">davesweeris@mac.com</a>&gt;&gt; wrote:<br>
&gt;&gt; That’s the “as proposed” usage for getting the size of a value (from<br>
&gt;&gt; <a href="https://gist.github.com/erica/57a64163870486468180b8bab8a6294e" rel="noreferrer" target="_blank">https://gist.github.com/erica/57a64163870486468180b8bab8a6294e</a><br>
&gt;<br>
</span>&gt;&gt; &lt;<a href="https://gist.github.com/erica/57a64163870486468180b8bab8a6294e" rel="noreferrer" target="_blank">https://gist.github.com/erica/57a64163870486468180b8bab8a6294e</a>&gt;)<br>
<span class="">&gt;&gt; // Types<br>
&gt;&gt; MemoryLayout&lt;Int&gt;.size // 8<br>
&gt;&gt; MemoryLayout&lt;Int&gt;.arraySpacing // 8<br>
&gt;&gt; MemoryLayout&lt;Int&gt;.alignment // 8<br>
&gt;&gt;<br>
&gt;&gt; // Value<br>
&gt;&gt; let x: UInt8 = 5<br>
&gt;&gt; MemoryLayout(x).dynamicType.size // 1<br>
&gt;&gt; MemoryLayout(&quot;hello&quot;).dynamicType.arraySpacing // 24<br>
&gt;&gt; MemoryLayout(29.2).dynamicType.alignment // 8<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt; At least, I thought that was the latest version of the proposal. Maybe I’ve gotten confused.<br>
&gt;&gt;<br>
&gt;&gt; There must be a typo in these examples. `MemoryLayout(x.dynamicType).size` perhaps?<br>
&gt;<br>
&gt; I have listened. I have updated.<br>
&gt;<br>
&gt; <a href="https://gist.github.com/erica/57a64163870486468180b8bab8a6294e" rel="noreferrer" target="_blank">https://gist.github.com/erica/57a64163870486468180b8bab8a6294e</a><br>
&gt;<br>
&gt; // Types<br>
&gt; MemoryLayout&lt;Int&gt;.size // 8<br>
&gt; MemoryLayout&lt;Int&gt;.arraySpacing // 8<br>
&gt; MemoryLayout&lt;Int&gt;.alignment // 8<br>
&gt;<br>
&gt; // Value<br>
&gt; let x: UInt8 = 5<br>
&gt; MemoryLayout.of(x).size // 1<br>
&gt; MemoryLayout.of(1).size // 8<br>
&gt; MemoryLayout.of(&quot;hello&quot;).arraySpacing // 24<br>
&gt; MemoryLayout.of(29.2).alignment // 8<br>
<br>
</span>I am still very skeptical that anyone needs the “Value” version, and as<br>
long as we&#39;re resyntaxing I am inclined to take it away and see how many<br>
people complain.  You can still always write it yourself.<br></blockquote><div><br></div><div>So long as the issue regarding querying an existential value&#39;s dynamic type is addressed, yes?</div><div><br></div><div>I mentioned this in a comment on the gist already, but I&#39;m really not digging the &quot;array&quot; in `arraySpacing`. We&#39;ve already moved from top-level &quot;stride&quot; to &quot;memory layout spacing,&quot; gaining plenty of clarity. I&#39;m skeptical that the &quot;array&quot; adds anything more. Moreover, it muddies the waters by mentioning a specific type (Array) in a context where you&#39;re querying the memory layout properties of another type.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Dave<br>
</font></span></blockquote></div><br></div></div>