26 Nov
2011
26 Nov
'11
10:45 a.m.
On 24 Nov 2011, at 13:13, Lars-Henrik Eriksson wrote:
Hi,
I have an implementation of the Y which crashes Poly/ML. Take the program below and evaluate "fact n" with n>3.
I expect you are interested in your particular least fixed point combinator, but if any least fixed point combinator will do, then you could try this one:
fun Y f x = f (Y f) x;
Regards,
Rob.