<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Tue, Mar 8, 2016 at 1:19 PM Haravikk via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<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"><br><div><blockquote type="cite"><div>On 8 Mar 2016, at 15:26, Thorsten Seitz &lt;<a href="mailto:tseitz42@icloud.com" target="_blank">tseitz42@icloud.com</a>&gt; wrote:</div><div><br><blockquote type="cite">Am 08.03.2016 um 11:07 schrieb Haravikk via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;:<br><br>Just because someone opts to use error handling over a failable initialiser doesn’t mean they have to go overboard on the detail of their errors; it’s entirely possible to pick a reasonable middle-ground.<br></blockquote><br>And it is entitely possible to just use an optional. If you prefer to use error handling over failable initializers, fine, just do so, but don&#39;t force it on others who are perfectly happy with the option to use optionals, too.</div></blockquote><br></div></div><div style="word-wrap:break-word"><div>It’s not an issue of ideology but of redundancy; the failable initialiser does nothing that error handling can’t do just as easily, the only difference is that instead of returning nil, you throw an appropriate error.</div><div><br></div><div>The few extra characters are hardly going to kill you, while a thrown error (with common ones available for simplicity) can describe what went wrong in more detail than just “something went wrong”. Point is that we have two ways of achieving the same goal, but error handling encourages developers to think more about what type(s) of error to throw at each point; even just simple error types with no further detail can provide more information simply by being different, for example if you have a NonNumericError vs EmptyStringError types, the errors themselves tell you all you’re likely to need to know (hopefully there’d be a good set of common types).</div><div><br></div><div>There are also some cases where failable initialisers can have subtle errors, for example, can you tell me where I might run into problems with the following:</div><div><br></div><div><span style="font-family:Menlo;font-size:11px;color:rgb(187,44,162)">struct</span><span style="font-family:Menlo;font-size:11px"> MyType {</span></div><div style="margin:0px;font-size:11px;font-family:Menlo">    <span style="color:#bb2ca2">let</span> elements:[<span style="color:#703daa">String</span>]</div><div style="margin:0px;font-size:11px;font-family:Menlo;min-height:13px"><br></div><div style="margin:0px;font-size:11px;font-family:Menlo">    <span style="color:#bb2ca2">func</span> asInt(index:<font color="#703daa">Array&lt;String&gt;.Index</font>) -&gt; <span style="color:#703daa">Int</span>? {</div><div style="margin:0px;font-size:11px;font-family:Menlo">        <span style="color:#bb2ca2">if</span> <span style="color:#bb2ca2">self</span>.<span style="color:#4f8187">elements</span>.<span style="color:#703daa">indices</span>.<span style="color:#3d1d81">contains</span>(index) {</div><div style="margin:0px;font-size:11px;font-family:Menlo">            <span style="color:#bb2ca2">return</span> <span style="color:#703daa">Int</span>(<span style="color:#bb2ca2">self</span>.<span style="color:#4f8187">elements</span>[index])</div><div style="margin:0px;font-size:11px;font-family:Menlo">        }</div><div style="margin:0px;font-size:11px;font-family:Menlo">        <span style="color:#bb2ca2">return</span> <span style="color:#bb2ca2">nil</span></div><div style="margin:0px;font-size:11px;font-family:Menlo">    }</div><div style="margin:0px;font-size:11px;font-family:Menlo">}</div></div></blockquote><div><br></div><div>I assume you mean to imply the following...? </div><div><br></div><div><span><div>let foo = MyType(elements: [&quot;1&quot;, &quot;2&quot;, &quot;bogus&quot;, &quot;4&quot;])</div><div>for i in 0..&lt;5 {</div><div>  if let value = foo.asInt(i) {</div><div>    print( &quot;Value[\(i)] = \(value)&quot; )</div><div>  }</div><div>  else {</div><div>    print( &quot;Value[\(i)] = &lt;no value&gt;&quot; )</div><div>  }</div><div>}</div><div><br></div><div><div>Value[0] = 1</div><div>Value[1] = 2</div><div>Value[2] = &lt;no value&gt;</div><div>Value[3] = 4</div><div>Value[4] = &lt;no value&gt;</div></div></span></div><div><br></div><div>When I see asInt(index) -&gt; Int? I personally would only care about getting an Int back if possible for the given index then going on my merry way. If I was confused by something I would debug the problem. I likely wouldn&#39;t attempt to put any code in place to pick apart how it could have failed. If anything I would put in preconditions. </div><div><br></div><div>If this API threw exceptions instead I would do that exact same thing.</div><div><br></div><div><span><div><br></div><div><span><div><br></div></span></div></span><br></div></div></div>