<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Oct 12, 2016 at 11:32 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:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">Hi Xiaodi,<div>please read in-line, thank you.</div><div><br></div><div><div><blockquote type="cite"><span class=""><div>On 12 Oct 2016, at 15:58, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>> wrote:</div><br class="m_4462182378981150637Apple-interchange-newline"></span><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">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="m_4462182378981150637gmail-"><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="m_4462182378981150637gmail-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="m_4462182378981150637gmail-"><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="m_4462182378981150637gmail-"><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></span><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="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></div></div></div></blockquote><div><br></div><div>You are pulling the above out of context hereunder: </div><span class=""><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><span style="white-space:pre-wrap"><br></span></div><div><font><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></div></div></div></div></blockquote></span><div>1. You are not a member of the core team, far from it, sorry.</div><div> Don’t think for them, they can do that quite well themselves. and thus: </div></div></div></div></blockquote><div><br></div><div>I'm not trying to speak for the core team; sorry if I'm giving off that impression.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div>2. If the core team would have problems with me bringing forward this topic, </div><div> they might/will inform me that this is undesired, in that case I’ll stop writing about it. </div></div></div></div></blockquote><div><br></div><div>As a member of the community, I'm voicing *my* concern that this is not an opportune time to discuss this topic. It's up to all participants, not just the core team, to try to make sure that the evolution process works effectively. So far, in the context of other threads, other community members have also been active in pointing out when topics stray too far from the suggested areas of focus. I think this is good practice and I'm trying to contribute to that effort.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div>3. My current subject is an extension spin-off from the topic “associated objects”, wherein</div><div> “extending the language" is discussed. Meta Programming and Adding Dynamic Features to Swift </div><div> are currently strongly in focus and is surely one of the most important things to bring to Swift in the near future!</div></div></div></div></blockquote><div><br></div><div>I'm sorry, but this is not true. The list of focus topics for this phase of Swift is on the swift-evolution GitHub project readme, and this is not one of them.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div>4. read this on <a href="http://Swift.org" target="_blank">Swift.org</a>: </div><div><h3 id="m_4462182378981150637proposing-new-features" style="box-sizing:border-box;margin:0px 0px 0.5em;padding:1em 0px 0px;font-weight:400;line-height:1;color:rgb(51,51,51)"><span style="font-size:12px">"Proposing New Features"</span></h3><p style="box-sizing:border-box;margin:0px 0px 1.5em;padding:0px;color:rgb(51,51,51)">"New features or directions for the Swift language can come from anyone with a good idea."</p><p style="box-sizing:border-box;margin:0px 0px 1.5em;padding:0px;color:rgb(51,51,51)">"Open discussion and iteration over the ideas in a public forum is essential to reaching the best possible solutions."</p><div>also </div><div><br></div><div><span style="color:rgb(51,51,51);background-color:rgb(255,255,255)">"Everyone is welcome to propose, discuss, and review ideas to improve the Swift language and standard library on the </span><a href="https://swift.org/community/#swift-evolution" title="Swift evolution mailing list" style="box-sizing:border-box;color:rgb(64,120,192);text-decoration:none" target="_blank">swift-evolution mailing list</a><span style="background-color:rgb(255,255,255)"><font color="#333333">.” </font></span></div><div><span style="background-color:rgb(255,255,255)"><font color="#333333"><br></font></span></div><div><br></div><div><br></div></div><div>5. If a certain topic is not interesting for you personally then simply ignore it and don’t react.</div></div></div></div></blockquote><div><br></div><div>That is not what I'm saying. I'm very interested in this topic. However, I'm concerned that neither I nor others with intense interest can contribute meaningfully at this phase, because the suggested focus for the moment is not on this topic. I would not want to ignore the topic at all.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div>6. Well meant advice: be a little less lofty,</div><div> </div><div><br></div><div>Kind Regards </div><div>TedvG</div><div><div class="h5"><div><br></div><div><br></div><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><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="m_4462182378981150637gmail-HOEnZb"><font color="#888888"><div>Ted</div></font></span><span class="m_4462182378981150637gmail-"><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="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><div class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"></div><div class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg">On Oct 11, 2016, at 12:40, Anton Zhilin via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" target="_blank">swift-evolution@swift.org</a>> wrote:<br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"></div><blockquote type="cite" class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><div dir="ltr" class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><div class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227markdown-here-wrapper m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><p style="margin:0px 0px 1.2em" class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg">Hello Ted,<br class="m_4462182378981150637gmail-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="m_4462182378981150637gmail-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="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><code class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227language-swift m_4462182378981150637gmail-m_-5180192693485377350gmail_msg m_4462182378981150637gmail-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="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">var</span> builder = <span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-type m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">StructBuilder</span>(name: <span class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-string" style="color:rgb(221,17,68)">"Person"</span>)
builder.addProperty(name: <span class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-string" style="color:rgb(221,17,68)">"name"</span>, type: <span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-type m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">String</span>.<span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">self</span>)
builder.addProperty(name: <span class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-string" style="color:rgb(221,17,68)">"age"</span>, type: <span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-type m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">Int</span>.<span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">self</span>)
builder.addComputedProperty(na<wbr>me: <span class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-string" style="color:rgb(221,17,68)">"description"</span>, getter: { (this: <span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-type m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">Any</span>) -> <span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-type m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">String</span> <span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">in</span> ... })
builder.addComformance(<span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-type m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">CustomS<wbr>tringConvertible</span>.<span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">self</span>)
<span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-keyword m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(51,51,51);font-weight:bold">let</span> type: <span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-type m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" style="color:rgb(68,85,136);font-weight:bold">Any</span>.<span class="m_4462182378981150637gmail-m_-5180192693485377350m_-1272261771439787227hljs-type m_4462182378981150637gmail-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="m_4462182378981150637gmail-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="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg">I *think* that's only true for non-generic code, and types that aren't subclasses... I think...<div class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"></div><div class="m_4462182378981150637gmail-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="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"><br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg"></div><div class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg">- Dave Sweeris </div></div>______________________________<wbr>_________________<br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg">
swift-evolution mailing list<br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg">
<a href="mailto:swift-evolution@swift.org" class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" target="_blank">swift-evolution@swift.org</a><br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg">
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg" target="_blank">https://lists.swift.org/mailma<wbr>n/listinfo/swift-evolution</a><br class="m_4462182378981150637gmail-m_-5180192693485377350gmail_msg">
</blockquote></div>
</div></blockquote></div><br></span></div></blockquote></div><br></div></div>
</div></blockquote></div></div></div><br></div></div></blockquote></div><br></div></div>