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. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
