<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">This is the same thing as Refinement Types, right?<div class=""><a href="https://en.wikipedia.org/wiki/Refinement_(computing)#Refinement_types" class="">https://en.wikipedia.org/wiki/Refinement_(computing)#Refinement_types</a></div><div class=""><a href="http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/01/01/refinement-types-101.lhs/" class="">http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/01/01/refinement-types-101.lhs/</a></div><div class=""><br class=""></div><div class="">I’m in favor of it, but I think someone’s already made that suggestion… At the very least, I didn’t know what the phrase meant until a few days ago, and I know I learned about it from reading something on swift-evolution.</div><div class=""><br class=""><div class="">
- Dave Sweeris

</div>
<br class=""><div><blockquote type="cite" class=""><div class="">On Jan 14, 2016, at 20:32, Suminda Dharmasena via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_extra">E.g.&nbsp;</div><div class="gmail_extra"><br class=""></div><div class="gmail_extra"><ol class="" style="border: 0px; font-size: 14px; margin: 0px; outline: 0px; padding: 0px; vertical-align: baseline; line-height: 1.6em; list-style: none; font-family: Helvetica, Arial, sans-serif; background-repeat: initial initial;"><li style="border-width:0px 0px 0px 18px;border-left-style:solid;border-left-color:transparent;margin:0px;outline:0px;padding:0px 10px 0px 0px;vertical-align:baseline;white-space:pre-wrap;list-style-type:none;background:transparent" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background:transparent"><span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(170,51,145);background:transparent">var @where("<span class="" style="font-size:11.9px;line-height:22.4px;border:0px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(63,110,116);background:transparent">myVariable</span><span style="font-size: 11.9px; line-height: 22.4px;" class=""> </span>&lt;= 100 &amp;&amp; <span class="" style="font-size:11.9px;line-height:22.4px;border:0px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(63,110,116);background:transparent">myVariable</span> &gt;= 0")</span> <span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(63,110,116);background:transparent">myVariable</span> = <span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(28,0,207);background-image:initial;background-color:transparent;background-repeat:initial">42</span></code></li></ol><div style="text-indent: -13px;" class=""><br class=""></div><div style="text-indent: -13px;" class=""><div class=""><font color="#aa3391" face="Menlo, monospace" class=""><span style="font-size:11.9px;line-height:22.4px;white-space:pre-wrap" class=""><br class=""></span></font></div><div class=""><ol class="" style="border:0px;font-size:14px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;line-height:1.6em;list-style:none;font-family:Helvetica,Arial,sans-serif;text-indent:0px;background-image:initial;background-repeat:initial"><li style="border-width: 0px 0px 0px 18px; border-left-style: solid; border-left-color: transparent; margin: 0px; outline: 0px; padding: 0px 10px 0px 0px; vertical-align: baseline; white-space: pre-wrap; list-style-type: none; background-color: transparent; background-repeat: initial initial;" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background:transparent"><span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(170,51,145);background:transparent">@where("<span class="" style="font-size:11.9px;line-height:22.4px;border:0px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(63,110,116);background:transparent">myVariable</span><span style="font-size: 11.9px; line-height: 22.4px;" class=""> </span>&lt;= 80 &amp;&amp; <span class="" style="font-size:11.9px;line-height:22.4px;border:0px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(63,110,116);background:transparent">myVariable</span><span style="font-size: 11.9px; line-height: 22.4px;" class=""> </span><span style="font-size:11.9px;line-height:22.4px" class="">&gt;= 50</span>")</span></code></li><li style="border-width: 0px 0px 0px 18px; border-left-style: solid; border-left-color: transparent; margin: 0px; outline: 0px; padding: 0px 10px 0px 0px; vertical-align: baseline; white-space: pre-wrap; list-style-type: none; background-color: transparent; background-repeat: initial initial;" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background:transparent">{</code></li><li style="border-width:0px 0px 0px 18px;border-left-style:solid;border-left-color:transparent;margin:0px;outline:0px;padding:0px 10px 0px 0px;vertical-align:baseline;white-space:pre-wrap;list-style-type:none;background-image:initial;background-color:transparent;background-repeat:initial" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background-image:initial;background-color:transparent;background-repeat:initial"><font class="">    </font><font color="#aa3391" class="">...</font></code></li><li style="border-width: 0px 0px 0px 18px; border-left-style: solid; border-left-color: transparent; margin: 0px; outline: 0px; padding: 0px 10px 0px 0px; vertical-align: baseline; white-space: pre-wrap; list-style-type: none; background-color: transparent; background-repeat: initial initial;" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background:transparent">}</code></li></ol></div><div class=""><font color="#aa3391" face="Menlo, monospace" class=""><span style="font-size:11.9px;line-height:22.4px;white-space:pre-wrap" class=""><br class=""></span></font></div><div class=""><font color="#aa3391" face="Menlo, monospace" class=""><span style="font-size:11.9px;line-height:22.4px;white-space:pre-wrap" class=""><br class=""></span></font></div><ol class="" style="border:0px;font-size:14px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;line-height:1.6em;list-style:none;font-family:Helvetica,Arial,sans-serif;text-indent:0px;background-image:initial;background-repeat:initial"><li style="border-width: 0px 0px 0px 18px; border-left-style: solid; border-left-color: transparent; margin: 0px; outline: 0px; padding: 0px 10px 0px 0px; vertical-align: baseline; white-space: pre-wrap; list-style-type: none; background-color: transparent; background-repeat: initial initial;" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background:transparent"><span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(170,51,145);background:transparent">@where("score &lt;= 100 &amp;&amp; <span style="font-size:11.9px;line-height:22.4px" class="">score &gt;= 0</span>")</span></code></li><li style="border-width: 0px 0px 0px 18px; border-left-style: solid; border-left-color: transparent; margin: 0px; outline: 0px; padding: 0px 10px 0px 0px; vertical-align: baseline; white-space: pre-wrap; list-style-type: none; background-color: transparent; background-repeat: initial initial;" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background:transparent"><span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(170,51,145);background:transparent">for</span> <span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(63,110,116);background:transparent">score</span> <span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(170,51,145);background:transparent">in</span> <span class="" style="border:0px;font-size:11.9px;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(63,110,116);background:transparent">individualScores</span> {</code></li><li style="border-width:0px 0px 0px 18px;border-left-style:solid;border-left-color:transparent;margin:0px;outline:0px;padding:0px 10px 0px 0px;vertical-align:baseline;white-space:pre-wrap;list-style-type:none;background-image:initial;background-color:transparent;background-repeat:initial" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background-image:initial;background-color:transparent;background-repeat:initial"><font class="">    </font><font color="#aa3391" class="">...</font></code></li><li style="border-width: 0px 0px 0px 18px; border-left-style: solid; border-left-color: transparent; margin: 0px; outline: 0px; padding: 0px 10px 0px 0px; vertical-align: baseline; white-space: pre-wrap; list-style-type: none; background-color: transparent; background-repeat: initial initial;" class=""><code class="" style="border:0px;font-size:0.85em;margin:0px;outline:0px;padding:0px;vertical-align:baseline;font-family:Menlo,monospace;word-wrap:break-word;background:transparent">}</code></li></ol></div></div></div>
<img src="https://u2002410.ct.sendgrid.net/wf/open?upn=mnFI6pg-2FTCMHnIXafbniMQOkvAOxgYUwbalcxNWA5RdDGNV8iM2feO0rvLraT0CXvJhPMa-2FKtBLAehYslsrqIzTyY7UO6tpTiuZmCIKk-2BDsj4z9Ne7s6Si-2B8z8IEoadwjfRNWqDAnEq9tjLL3PuiKKRVlXyEb5MUhxq3gRP-2FBBtGwkGlVsi1HLdCHWiv3PtRXoj3ljvlTENcdyRyZiHiNE-2B1yrc73VAuDnNDRXB1Zy8-3D" alt="" width="1" height="1" border="0" style="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;" class="">
_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class="">https://lists.swift.org/mailman/listinfo/swift-evolution<br class=""></div></blockquote></div><br class=""></div></body></html>