Hi!<br><br>Maybe it's unfamiliarity on my part, but "code contract" seems like a very vague term.<br>Do you have an example of what this could look like in swift and what the benefits of such feature would be?<br><br>Thanks!<br><div class="gmail_quote"><div dir="ltr">On Wed, Jan 13, 2016 at 6:59 PM Suminda Dharmasena via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div dir="ltr"><div>Hello,</div><div><br></div><div>One feature that might be very useful to have in Swift is code contracts. Is it possible to see how this can be added to the language?</div><div><br></div><div>Suminda</div></div></div></div>
</div>
<img src="https://u2002410.ct.sendgrid.net/wf/open?upn=EmLgVGNgdilXys3cXWyAWvOFC2-2FejnHkMVv8PyEdfbovCvlCdBx-2FAamdqhYMRO-2BovNKwFLww5ulm-2FzqtESOjHpP0pcs9xZ5G1zbcuYlsjsbXh87Zw9vsEUENTJqb-2B5mrH-2BsNgit9dp3t2r0sZbj2-2F74EwsnNoXhRPGrOqGstLzOSRMRc8JXGQeeYdwAF4NPmtRgQzVGUU7ScjwrqbRuL6Q1jEA-2Bz0UNr97j4OTZRMU0-3D" alt="" width="1" height="1" border="0" style="min-height:1px!important;width:1px!important;border-width:0!important;margin-top:0!important;margin-bottom:0!important;margin-right:0!important;margin-left:0!important;padding-top:0!important;padding-bottom:0!important;padding-right:0!important;padding-left:0!important">
_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org" target="_blank">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>
</blockquote></div><div dir="ltr">-- <br></div>Javier Soto