<div dir="ltr">On Fri, May 5, 2017 at 12:41 AM, Brent Royal-Gordon <span dir="ltr">&lt;<a href="mailto:brent@architechies.com" target="_blank">brent@architechies.com</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><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><span class=""><blockquote type="cite"><div>On May 4, 2017, at 3:01 PM, Xiaodi Wu via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:</div><br class="m_-4138846607635934962Apple-interchange-newline"><div><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">Hmm, I can see the appeal of automatically deriving Equatable and Hashable conformance, but I&#39;d like that to be opt-in. That is, types should declare that they are Equatable or Hashable to begin with. It wouldn&#39;t have to take extra syntax, as compiler magic could effectively synthesize default implementations for == and/or hashValue when all members are themselves Equatable or Hashable, respectively.</span></div></blockquote><div><br></div></span><div>Another benefit is that the problem you&#39;re currently having with recursion goes away: from outside the type, you merely need to check if conformance is declared.</div><div><br></div><div>Explicit with no special syntactic marker is definitely the way to go. It would work just like Codable is slated to.</div></div></div></blockquote><div><br></div><div>Right. I think we&#39;ve got broad agreement (woohoo!) that this is the sweet spot.</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><span class=""><blockquote type="cite"><div><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">With such a scheme, consideration can be made to accommodating classes too.</span></div></blockquote></span></div><div><br></div><div>I would think only final classes could participate in this, since a subclassable class would need to allow subclasses to override equality, and you can&#39;t override a static `==` operator method.</div></div></blockquote><div><br></div><div>I work so rarely with classes that I&#39;m embarrassed to have to ask this question: can classes not satisfy Equatable with a `public class func ==`?</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>(My time is not unlimited right now, but I&#39;d be willing to help with either the proposal or its implementation. This would be a great thing to get into Swift 4.)</div></div></blockquote></div><br></div></div>