<div dir="ltr"><div><div>There's a Swift/T issue for this, btw, if that's of any relevance.<br><br></div>I think the low-hanging fruit of consistent names for common functions have the highest impact here, so I agree we can move forward on the easy things.<br><br></div>- Tim<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 22, 2015 at 10:42 PM, Mihael Hategan <span dir="ltr"><<a href="mailto:hategan@mcs.anl.gov" target="_blank">hategan@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Thu, 2015-01-22 at 16:04 -0800, Mihael Hategan wrote:<br>
<br>
> It is not clean, or at least I don't see how it can be made clean. In<br>
> particular because no function in swift should behave differently<br>
> depending on when it is run or if it is run multiple times. This is<br>
> called referential transparency and it says that all f(x) will always<br>
> have the same value when invoked with the same x. It is the only way I<br>
> know to guarantee that the not-fully-specified ordering of execution in<br>
> swift results in correct programs.<br>
><br>
<br>
</span>This does seem to fit into the idea of side effects contained into an<br>
app specification. That is, however, another issue I think.<br>
<br>
So I'm not sure. I would like to avoid contentious issues if possible.<br>
Otherwise we might spent too much time on this. Can we keep it to stuff<br>
that doesn't touch on filesystem manipulation and other known weird<br>
things?<br>
<br>
I think there are some functions on that page that are already tricky<br>
and should be removed, so, that's probably plenty for now.<br>
<div class="HOEnZb"><div class="h5"><br>
Mihael<br>
<br>
_______________________________________________<br>
Swift-devel mailing list<br>
<a href="mailto:Swift-devel@ci.uchicago.edu">Swift-devel@ci.uchicago.edu</a><br>
<a href="https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel" target="_blank">https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel</a><br>
</div></div></blockquote></div><br></div>