On Tue, 2 Apr 2013, Gergely Buday wrote:
An ML script could be just tailored rewriting those critical parts in ML
itself and compiled with mlton if necessary.
I hear that part about Mlton occasionally, and wonder if it is really
significant. Do you have concrete performance figures at hand that show
that the extra time for Mlton compilation is worth waiting? (Real
applications, not just micro-benchmarks.)
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
