On Wed, 15 Aug 2012, Gael Mulat wrote:
I am considering using Poly/ML to benefit of its debugger.
You will also gain a lot of speed, both of the compiler and the compiled
code.
In Isabelle we are supporting both Poly/ML and SML/NJ for many years, but
the SML/NJ part has always been a pain to maintain, because NJ has odd
ideas about SML.
End-user performance is now in the range of factor 100 that Poly/ML is
better than SML/NJ (on regular 8 core hardware). E.g. see
http://isabelle.in.tum.de/devel/stats/at-sml-dev/HOL-Library.png
http://isabelle.in.tum.de/devel/stats/mac-poly-M8/HOL-Library.png (The
scale in these charts is in minites, and the application is heavy-duty
symbolic theorem proving.)
So almost every effort to include Poly/ML in your portfolio will pay off.
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
