<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">Should we add support for recognition of pure functions? &nbsp;These functions don’t refer to any global state; their return values / outgoing in-out parameter states depend solely on the incoming argument values. &nbsp;I know at least the D programming language acknowledges them.</div><div class=""><br class=""></div><div class="">- Should they be marked with a “pure” attribute?</div><div class="">- How much checking should the complier do on code for purity violations?</div><div class="">- Should purity be a potential requirement on protocol methods?</div><div class="">- What kinds of optimizations are possible?</div><div class="">- What default built-in or standard library support should be pure as an initial set to build your own pure functions?</div><br class=""><div class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">—&nbsp;</div><div class="">Daryle Walker<br class="">Mac, Internet, and Video Game Junkie<br class="">darylew AT mac DOT com&nbsp;</div></div>
</div>
<br class=""></body></html>