2 Apr
2013
2 Apr
'13
2:51 p.m.
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