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