It would be great if it were possible to use Poly/ML from other programming languages. There would be a polyml.so or polyml.dll file, that could be linked with, for example, the following C program: ...
You might look at the model we have for PLT Scheme, where the language is made available as a static library for linking, and under Windows, as a COM component.
See http://www.plt-scheme.org/ for more information.
-- Paul