1

Closed

Y Combinator causes StackOverflowException

description

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.
Closed Aug 8, 2009 at 12: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