[polyml] From SML/NJ to Poly/ML

On Fri, 24 Aug 2012, Makarius wrote:

When I need some socket programming, I do it in a few lines of Scala. When I need sophisticated symbolic manipulations I do it in ML. (Sometimes there is a conceptual overlap, and I get the wrong side in the first go, but it is then reasonably easy to port to the other side.)

So instead of trying to connect to Poly/ML via the C interface, I better use Scala/JVM stuff over an explicit protocol.

I fully agree to this. Programming languages are tools, not objects of worship. There is no intrinsic magic and in the end it compiles to 'test and jump'. Yes, I've done lots of asm programming back then :)

Regards, Michael