[MLton] Compiling static or dynamic libraries from MLton

Morten Olsen Lysgaard <[email protected]> Sun, 13 Dec 2020 07:37:08 +0100
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAOujwNH31Nfec6FY00gDh0XM_=afAcEivLjPpPMs+O4evP5EPg@mail.gmail.com>
--===============7643562285024772987==
Content-Type: multipart/alternative; boundary="0000000000005e2ecd05b652c3ec"

--0000000000005e2ecd05b652c3ec
Content-Type: text/plain; charset="UTF-8"

As far as I understand it is not possible to produce static or dynamic
libraries from MLton today, only executables.

I would like to be able to produce these and then be able to link them with
other code and use the exposed functions.

I have found this archived mail of someone trying to create a patch to do
this back in 2008, but I guess it stalled.

Let's say one in the first case limits the api possible to expose from a
library to function who takes a tuple of C primitve types. This should be
easily mappable one-to-one from C to SML.

I have some questions:

1) Would anyone else be interested in such a feature?
2) What requirements would the MLton runtime put on the consumers of such
libraries?
3) Would someone with deeper insight into MLton, be willing to help on the
high level design and guidance of how to achieve such a feature?

Have a nice day - Morten

--0000000000005e2ecd05b652c3ec
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>As far as I understand it is not possible to produce =
static or dynamic libraries from MLton today, only executables.</div><div><=
br></div><div>I would like to be able to produce these and then be able to =
link them with other code and use the exposed functions.</div><div><br></di=
v><div>I have found this archived mail of someone trying to create a patch =
to do this back in 2008, but I guess it stalled.</div><div><br></div><div>L=
et&#39;s say one in the first case limits the api possible to expose from a=
 library to function who takes a tuple of C primitve types. This should be =
easily mappable one-to-one from C to SML.</div><div><br></div><div>I have s=
ome questions:<br></div><div><br></div><div>1) Would anyone else be interes=
ted in such a feature?</div><div>2) What requirements would the MLton runti=
me put on the consumers of such libraries?</div><div>3) Would someone with =
deeper insight into MLton, be willing to help on the high level design and =
guidance of how to achieve such a feature?</div><div><br></div><div>Have a =
nice day - Morten<br></div></div>

--0000000000005e2ecd05b652c3ec--


--===============7643562285024772987==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============7643562285024772987==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel

--===============7643562285024772987==--