<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Just adding an implementers point of view:<div>Adding a new keyword/annotation is risky and/or complicates language semantics -- we don't want to break existing code, so new keywords are hard, likewise context dependent keywords can be tricksy: "f = function pure(){}" means what?</div><div><br></div><div>Assuming that there is an annotation that says a function is pure, runtime enforcement becomes either very expensive very quickly (possibly tending towards the halting problem in the general case), or can randomly throw exceptions.  Your sum function is a trivial case:</div><div>   function sum(a,b) { return a + b } // I'm pure!!!!</div><div><br></div><div> We want to ensure sum has no side effects so we either typecheck on entry to ensure we will not need make a function call for the a and b typeconversions, or we throw on the first attempt to make a typeconversion (the exception will occur before any side effects, so you're still "safe" just annoyed).</div><div><br></div><div>But what about:</div><div>function bizzaroSum(a, b) {</div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div>while (a.b) a = a .b;</div><div>return a + b;</div></blockquote><div>}</div><div>?</div><div><br></div><div>An ahead of time type check has unbounded time complexity, so there is no reason to not just execute and throw on a side effecting operation.</div><div><br></div><div>(Also what if a.b is a getter that simply returns 1 - does that count as a side effect because of the implied call, or does it not? after all there's not actually any side effect here)</div><div><br></div><div>So the only efficient way of dealing with a "pure" function is to run the code and perform type checks as you go to ensure that no calls are happening.</div><div><br></div><div>This gets us to _almost_ the level of performance modern JS engines are already getting, without having any concept of "pure".  If your code is doing sensible things, and the types are consistent every supposed gain you get from "purity" is already there.</div><div><br></div><div>But your purity constraints means no side-effects, no general case calls, neither of these limits is helpful to modern JS engines as they will happily inline functions anyway regardless of purity, and will just do a stack rewrite and fallback to general code if their assumptions turn out to be false.</div><div><br></div><div>As an aside, the performance issues JSC at least has with map, reduce, etc is VM re-entry.  For us that's a much more significant performance problem than code gen quality.</div><div><br></div><div>--Oliver</div><div><br><div><div>On Nov 28, 2012, at 9:45 AM, David Bruant <<a href="mailto:bruant.d@gmail.com">bruant.d@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">Le 28/11/2012 18:19, Claus Reinke a écrit :<br><blockquote type="cite"><blockquote type="cite"><blockquote type="cite">With many new functional programming possibilities (like map, reduce, filter, lambdas) there are many scenarios where the implementer should use pure (or as I renamed it in another reply, side-effect-free) functions.<br></blockquote>Why "should"? What is the problem if people don't?<br></blockquote><br>In the non-sequential versions, side-effect-free operators<br>give more flexibility in scheduling, eg, splitting an array<br>into sub-arrays, running partial loops on separate processors,<br>then combine the results.<br></blockquote>I agree, but it's far from being applicable in JS apparently (I see you agree later in your response). I suggested this as my very first Bugzilla bug. I encourage to read the comments: <a href="https://bugzilla.mozilla.org/show_bug.cgi?id=593706">https://bugzilla.mozilla.org/show_bug.cgi?id=593706</a><br><br>David<br>_______________________________________________<br>es-discuss mailing list<br><a href="mailto:es-discuss@mozilla.org">es-discuss@mozilla.org</a><br>https://mail.mozilla.org/listinfo/es-discuss<br></blockquote></div><br></div></body></html>