[MLton-user] Re: [polyml] Order of evaluation of arguments to a
alex.merry at cs.ox.ac.uk
Thu Aug 18 09:02:35 PDT 2011
On 18/08/11 16:08, Ramana Kumar wrote:
> what about evaluating f?
More testing required. In Poly/ML, the following test produces the
(print "1"; (fn () => (print "2"; fn x => (print "3"; x)))) (print "4")
So the order of evaluation of (f x y) is
((f x) y)
This seems like a natural evaluation order for an eager functional language.
DPhil Computer Science
Department of Computer Science
University of Oxford
More information about the MLton-user