<div dir="ltr">The justification for assertions in general is unnecessary. Swift already has assertion functions: "assert" and "precondition" (even though it's still not clear to me why we have two of them). This thread isn't about software assertions.<div><br></div><div>This thread is about your := assertion operator. This thread *is* the exploration of it, as it relates to Swift. You think it would be worth including in Swift? Then argue its case. Tell us why := is useful. Provide a code sample of one of the situations you think it would be used so often for. Show us the value.</div><div><br></div><div>Don't expect us to do all the work here. Your suggestions lack sufficient information to make their worth obvious to us. At the moment you're not convincing us that you've thought about your proposal enough to even decide if it was worth pitching, before you pitched it. Please make that effort.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Feb 27, 2016 at 4:10 PM, Amir Michail via swift-evolution <span dir="ltr"><<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>></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 Feb 27, 2016, at 11:07 AM, Stephen Celis <<a href="mailto:stephen.celis@gmail.com">stephen.celis@gmail.com</a>> wrote:<br>
><br>
><br>
>> On Feb 27, 2016, at 10:57 AM, Amir Michail <<a href="mailto:a.michail@me.com">a.michail@me.com</a>> wrote:<br>
>><br>
>>> On Feb 27, 2016, at 10:39 AM, Stephen Celis <<a href="mailto:stephen.celis@gmail.com">stephen.celis@gmail.com</a>> wrote:<br>
>>><br>
>>>> On Feb 27, 2016, at 10:38 AM, Amir Michail <<a href="mailto:a.michail@me.com">a.michail@me.com</a>> wrote:<br>
>>>><br>
>>>> I think this := would be used so often that it should be part of the language/standard library.<br>
>>><br>
>>> Would you please justify this? Would you please answer the questions from my reply?<br>
>><br>
>> See: <a href="http://research.microsoft.com/apps/pubs/default.aspx?id=70290" rel="noreferrer" target="_blank">http://research.microsoft.com/apps/pubs/default.aspx?id=70290</a><br>
><br>
> See what part? This document provides no justification for any kind of assignment/assertion operator. Please provide additional context around links you share and how they relate to your actual proposal.<br>
<br>
</span>The justification for assertions in general is empirical and the Microsoft paper provides it.<br>
<br>
To explore how useful := assertions are in particular would need a study like the Microsoft one that focuses exclusively on := assertions.<br>
<div class="HOEnZb"><div class="h5"><br>
><br>
> In this case your proposal still needs justification. Would you, again, please answer these questions to provide it?<br>
><br>
> - Why do you want this feature?<br>
><br>
> - Would you please provide a better, real-world example (perhaps code extracted from a real-world project you've worked on that would benefit) that demonstrates the benefits of your suggestion?<br>
><br>
> - Can you go into more detail on the the design of the proposal? How it may be implemented? Caveats? Alternatives considered?<br>
><br>
> --<br>
> Stephen<br>
<br>
_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
</div></div></blockquote></div><br></div>