CodePlexProject Hosting for Open Source Software

1

Closed

Interpreter crashes with StackOverflowException when attempting to interpret Y Combinator or Applicative Order Y Combinator.

(λf.((λx.(f (x x))) (λx.(f (x x)))))

Process is terminated due to StackOverflowException.

Applicative order Y Combinator:

(λf.((λx.(f (λy.(x x y)))) (λx.(f (λy.(x x y))))))

Process is terminated due to StackOverflowException.

No files are attached

Closed Aug 8, 2009 at 1:08 AM
by holoed

Fixed replacing environment based interpreter with Normal Order Substitution based reducer.Now anonymous recursion with Y Combinator works !! See Factorial Tests.

## comments