18 Aug
2011
18 Aug
'11
6:02 p.m.
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