Editing Funarg problem (section)

===Example===
The following [[Haskell (programming language)|Haskell]]-like [[pseudocode]] defines [[Function_composition_(computer_science)|function composition]]:
{{sxhl|2=haskell|1=compose f g = λx → f (g x)}}
<code>[[Lambda calculus|λ]]</code> is the operator for constructing a new function, which in this case has one argument, <code>x</code>, and returns the result of first applying <code>g</code> to <code>x</code>, then applying <code>f</code> to that. This λ function carries the functions <code>f</code> and <code>g</code> (or pointers to them) as internal state.

The problem in this case exists if the compose function allocates the parameter variables <code>f</code> and <code>g</code> on the stack. When <code>compose</code> returns, the stack frame containing <code>f</code> and <code>g</code> is discarded. When the internal function <code>λx</code> attempts to access <code>g</code>, it will access a discarded memory area.