On 18/08/11 16:08, Ramana Kumar wrote:
what about evaluating f?
More testing required. In Poly/ML, the following test produces the output "14253": (print "1"; (fn () => (print "2"; fn x => (print "3"; x)))) (print "4") (print "5");
So the order of evaluation of (f x y) is f x (f x) y ((f x) y) This seems like a natural evaluation order for an eager functional language. Alex -- Alexander Merry DPhil Computer Science Department of Computer Science University of Oxford _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
