<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Jul 8, 2018 at 7:18 PM, Thorsten Engler <span dir="ltr"><<a href="mailto:thorsten.engler@gmx.net" target="_blank">thorsten.engler@gmx.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div lang="EN-AU"><div class="gmail-m_-7190478354832580930WordSection1"><p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif">Maybe you don’t understand what “determine the purity of a function” means?<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></span></p><p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif">It means that every time any function is called, the compiler has to try to execute the function at compile time (by working through the nodes like an interpreter) until it hits a point that is non-deterministic. This can potentially take forever (the halting problem is real!), so the only thing limiting it is basically some form of timeout (defined as either time spend or nodes traverse).<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></span></p><p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif">If you are talking about always considering every function as pure until proven otherwise, you are talking about slowing down the compiler by orders of magnitude.</span></p></div></div></blockquote><div><br></div><div>I'm taking about considering every function that's **used to calculate a constant expression** as a pure function (not just every function). </div><div>(how many of:</div><div>If FunctionCall(42) > 0 then<br></div><div>vs</div><div>If FunctionCall(x) > 0 then<br></div><div>is out there?)</div><div><br></div><div>Naturally, if a parameters of pure function are variable of any kind, the evaluation cannot be done in compile time anyway.</div><div><br></div><div>So, if a function (even if it's a pure function) is not used for constant expression valuation, there's no point in the actual "determination of purity" (in it's full meaning).</div><div><br></div><div>The compiler knows if a function potentially impure w/o the actual evaluation or interpretation, solely based on what data it's using.  </div><div><br></div><div>Even if you deal with functions marked by a developer as "pure", the problem of full determination of purity remains. </div><div><br></div><div>thanks,</div><div>Dmitry</div><div><br></div></div></div></div>