polyml@inf.ed.ac.uk
>>>
>>> To subscribe or unsubscribe via the World Wide Web, visit
>>> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
>>> or, via email, send a message with subject or body 'help' to
>>> polyml-requ...@
t; or, via email, send a message with subject or body 'help' to
>> polyml-requ...@inf.ed.ac.uk
>>
>> You can reach the person managing the list at
>> polyml-ow...@inf.ed.ac.uk
>>
>> When replying, please edit your Subject line so it is m
19/01/15 12:19, David Matthews wrote:
On 19/01/2015 04:34, David Topham wrote:
Thanks David for your response.
While searching I found this comment you made earlier:
"The foreign-function interface allows for call-back functions so
there is
the mechanism to produce a C function that when calle
On 19/01/2015 04:34, David Topham wrote:
Thanks David for your response.
While searching I found this comment you made earlier:
"The foreign-function interface allows for call-back functions so there is
the mechanism to produce a C function that when called calls an ML
function."
in
http://sta
David Topham wrote:
> "The foreign-function interface allows for call-back functions so there is
> the mechanism to produce a C function that when called calls an ML function."
>
> in
> http://stackoverflow.com/questions/17580386/shared-libraries-in-poly-ml
>
> Doesn't this indicate a mechanism t
David,
This isn't possible. There's no way to build a library from SML using
Poly/ML and link it with a main program written in some other language.
It is possible to do the reverse, to load a shared library written in,
say C, and use that from ML but you need to use the CInterface (FFI)
str
