<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div>On Feb 19, 2017, at 21:19, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com">xiaodi.wu@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div><div dir="ltr">This is very, very interesting. Thank you so much for the text.<div><br></div><div>If I understand your take correctly, the benefits of `pure` in Swift would be contingent on how pervasively it can be used (as it's the composability of pure functions that gives it exponential value). And, based on your discussion, very few functions in Swift would be compiler-provably pure [...]</div></div>
</div></blockquote><br><div>I <i>think</i> this might, at least partly, be because we can't restrict generic parameters to be value types.</div><div><br></div><div>- Dave Sweeris </div></body></html>