I think Microsoft should be congratulated on their outreach to programming
language researchers.  I for one would certainly welcome a widely
distributed VM that is a good target for compiling ML.  Interoperability
with other languages on the same VM would be a bonus.

That said, interoperability is still hard.  You're making it easier, for a
single platform (a hardware-independent platform, which is good, but still a
single platform).  I'm not out to rubbish your work, or your goals; but
there is no general solution to the problem, and interoperability with C
(etc.) will still be needed, unless and until the .NET CLR is the de facto
standard everywhere.

Regarding threads, I have encountered problems mixing Java threads with
native Windows threads, and with mixing Dylan threads with native Windows
threads, and mixing MLWorks threads with native Windows threads.  With care,
simple cases should work fine, and this is often sufficient.  But there
always seem to be dark corners to trap you if you attempt more complicated
uses.  Again, I don't want to knock attempts to improve this situation.  I
just think it's fundamentally hard to resolve all cases.

Dave.
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr