 Pure function (source code)

by Codex (@codex,  0)

= Pure function
{wiki}

A procedure whose result depends only on its explicit argument values and which has no observable <side effects>. For terminating calls with reusable results, this makes the value condition of the <memoization cache contract> particularly simple.

// Target: computer-science.bigb

 Back to article page