<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Oct 12, 2016 at 7:47 AM, Ted F.A. van Gaalen <span dir="ltr"><<a href="mailto:tedvgiosdev@gmail.com" target="_blank">tedvgiosdev@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><br><div><span class="gmail-"><blockquote type="cite"><div>On 11 Oct 2016, at 23:04, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>> wrote:</div><br class="gmail-m_-5180192693485377350Apple-interchange-newline"><div>Reflection is likely to be tackled in Swift 5, no? </div></blockquote><br></span><div>I'd think you don’t need reflection that much, because defining</div><div>dynamic classes (and other entities) are solely incremental compiler</div><div>tasks, for which it can use previously compiled meta reference</div><div>information (xref symbols etc). </div><div><br></div><div>Imho in that perspective it is more or less independent</div><div>of reflection. Reflection is as far as I can see is more intended to offer </div><div>meta information at the programming level.? </div><span class="gmail-"><div><br></div><blockquote type="cite"><div>So realistically, this could be on track for Swift 6 or 7. </div></blockquote><br></span>As already written, there is no timeframe/deadline for this idea, it is just an idea, </div><div>not a proposal (yet).</div><span class="gmail-"><div><div><br><blockquote type="cite">Let's postpone discussion until then.<br></blockquote><div><br></div></div></div></span><div>Feel free to do so, but why postponing having ideas and discussing them?</div></div></blockquote><div><br></div><div>The core team has requested that discussions be focused on the priorities identified for the current phase of Swift 4. There's a sound rationale for this request. Per Chris: "<span style="color:rgb(0,0,0);white-space:pre-wrap">The community benefits from keeping focus on a limited number of topics, because if there is too much going on, no one can follow and keep track of it all. It is important for the core team to be involved in key discussions up front. In the Swift 3 cycle, it was problematic that many folks had no time to follow the threads until after the review period completed."</span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap"><br></span></div><div><font color="#000000"><span style="white-space:pre-wrap">I'm sure many people have ideas about dynamic facilities in Swift, as do we all about other ideas, and many have been trying to be respectful of this new proposed process. I think we can all agree that maximum participation and the best solutions are most likely when everyone stays on the same page with regard to the process by which we go about these discussions. No need to postpone having ideas about Swift or talking about them with your friends and colleagues, but let's respect the core team's urging to postpone discussing them on this particular list for the reasons identified above.</span></font></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><div>In this case for instance, thinking about dynamic facilities, will presumably </div><div>also influence thinking about reflection and vice versa. </div><div>Thinking “wider” and “further” broadens the horizon of course.</div><div>For example. what about a compiler/interpreter self improving based on artificial intelligence? is this 2016? </div><div>So one can (should) do both: that is think in small steps, like discussing</div><div>“just” language elements and at the same time have an eye (or two) for the </div><div>broader picture. If one concentrates too much on the direct path in front, one might</div><div>not see other paths or what lays further ahead, which limits progress. </div><div><br></div><div>————————————————</div><div>Let me write a small cartoon here, just intended as a little bit of humour just to illustrate this:</div><div><br></div><div>A few thousand years ago, two very nice beings ( just returned from attending a</div><div>very primitive and awkward election debate, still shivering), looking at a pair </div><div>of fairly round stone slabs with a hole in the centre.</div><div><br></div><div>“What’s this ?, Why round? why the holes? Nice job, but what is it? Is it art?”</div><div><br></div><div>“Errrrhmm, well.. I might call it ‘Wheelz', not sure yet, you can use two of more of them</div><div>underneath or aside of things you’d like to move around more easily…</div><div>with less friction, which was a hell of a drag anyway."</div><div><br></div><div>The other guy walks around it, apparently deeply thinking about it. </div><div>after some silence he says:</div><div>“Aha… hmm.. well.. Oh, i see, yeah, yep, that’s kinda cool.. might be useful. </div><div>But let’’s postpone discussing it until ball-bearings have been invented. “</div><div>————————————————</div><div><br></div><div>hmmm, I really have too much time… :o)</div><div><br></div><div>Kind Regards</div><span class="gmail-HOEnZb"><font color="#888888"><div>Ted</div></font></span><span class="gmail-"><div><br></div><div><br></div><div><br></div><div> </div><div><br></div><div><br></div><div><br></div><div><br></div><div><br><br><blockquote type="cite"><div><br><br><div class="gmail_quote"><div dir="ltr">On Tue, Oct 11, 2016 at 15:59 David Sweeris via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto" class="gmail-m_-5180192693485377350gmail_msg"><div class="gmail-m_-5180192693485377350gmail_msg"><br class="gmail-m_-5180192693485377350gmail_msg"></div><div class="gmail-m_-5180192693485377350gmail_msg">On Oct 11, 2016, at 12:40, Anton Zhilin via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="gmail-m_-5180192693485377350gmail_msg" target="_blank">swift-evolution@swift.org</a>> wrote:<br class="gmail-m_-5180192693485377350gmail_msg"><br class="gmail-m_-5180192693485377350gmail_msg"></div><blockquote type="cite" class="gmail-m_-5180192693485377350gmail_msg"><div dir="ltr" class="gmail-m_-5180192693485377350gmail_msg"><div class="gmail-m_-5180192693485377350m_-1272261771439787227markdown-here-wrapper gmail-m_-5180192693485377350gmail_msg"><p style="margin:0px 0px 1.2em" class="gmail-m_-5180192693485377350gmail_msg">Hello Ted,<br class="gmail-m_-5180192693485377350gmail_msg">First of all, this topic belongs to reflection, which is specifically stated to be out of scope of Swift 4 Phase 1. So all considerations are purely theoretical for now.<br class="gmail-m_-5180192693485377350gmail_msg">That said, I also thought about this problem. The best I could imagine is something along the following lines:</p>
<pre style="font-family:consolas,inconsolata,courier,monospace;font-size:1em;line-height:1.2em;margin:1.2em 0px" class="gmail-m_-5180192693485377350gmail_msg"><code class="gmail-m_-5180192693485377350gmail_msg gmail-m_-5180192693485377350m_-1272261771439787227language-swift gmail-m_-5180192693485377350m_-1272261771439787227hljs" style="font-size:0.85em;font-family:consolas,inconsolata,courier,monospace;margin:0px 0.15em;white-space:pre-wrap;overflow:auto;border-radius:3px;border:1px solid rgb(204,204,204);padding:0.5em;color:rgb(51,51,51);background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;background-color:rgb(248,248,248);display:block"><span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">var</span> builder = <span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-type gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">StructBuilder</span>(name: <span class="gmail-m_-5180192693485377350gmail_msg gmail-m_-5180192693485377350m_-1272261771439787227hljs-string" style="color:rgb(221,17,68)">"Person"</span>)
builder.addProperty(name: <span class="gmail-m_-5180192693485377350gmail_msg gmail-m_-5180192693485377350m_-1272261771439787227hljs-string" style="color:rgb(221,17,68)">"name"</span>, type: <span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-type gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">String</span>.<span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">self</span>)
builder.addProperty(name: <span class="gmail-m_-5180192693485377350gmail_msg gmail-m_-5180192693485377350m_-1272261771439787227hljs-string" style="color:rgb(221,17,68)">"age"</span>, type: <span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-type gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">Int</span>.<span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">self</span>)
builder.addComputedProperty(<wbr>name: <span class="gmail-m_-5180192693485377350gmail_msg gmail-m_-5180192693485377350m_-1272261771439787227hljs-string" style="color:rgb(221,17,68)">"description"</span>, getter: { (this: <span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-type gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">Any</span>) -> <span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-type gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">String</span> <span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">in</span> ... })
builder.addComformance(<span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-type gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">CustomS<wbr>tringConvertible</span>.<span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">self</span>)
<span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">let</span> type: <span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-type gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">Any</span>.<span class="gmail-m_-5180192693485377350m_-1272261771439787227hljs-type gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">Type</span> = builder.build()
</code></pre><p style="margin:0px 0px 1.2em" class="gmail-m_-5180192693485377350gmail_msg">Obviously, to interact with such dynamic types and their objects, we need the whole working reflection system that we don’t have right now.</p></div></div></blockquote></div><div dir="auto" class="gmail-m_-5180192693485377350gmail_msg">I *think* that's only true for non-generic code, and types that aren't subclasses... I think...<div class="gmail-m_-5180192693485377350gmail_msg"><br class="gmail-m_-5180192693485377350gmail_msg"></div><div class="gmail-m_-5180192693485377350gmail_msg">Anyway, I'm starting to wonder if some code I'm trying to write might be impossible without either this feature, or some/all of the stuff from the generics manifesto. So put me down as, in principle, a strong +1 (pending details of the proposal when it actually gets written for Swift 10).</div><div class="gmail-m_-5180192693485377350gmail_msg"><br class="gmail-m_-5180192693485377350gmail_msg"></div><div class="gmail-m_-5180192693485377350gmail_msg">- Dave Sweeris </div></div>______________________________<wbr>_________________<br class="gmail-m_-5180192693485377350gmail_msg">
swift-evolution mailing list<br class="gmail-m_-5180192693485377350gmail_msg">
<a href="mailto:swift-evolution@swift.org" class="gmail-m_-5180192693485377350gmail_msg" target="_blank">swift-evolution@swift.org</a><br class="gmail-m_-5180192693485377350gmail_msg">
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" class="gmail-m_-5180192693485377350gmail_msg" target="_blank">https://lists.swift.org/<wbr>mailman/listinfo/swift-<wbr>evolution</a><br class="gmail-m_-5180192693485377350gmail_msg">
</blockquote></div>
</div></blockquote></div><br></span></div></blockquote></div><br></div></div>