Re: [MLton] Compiling static or dynamic libraries from MLton

Phil Clayton via MLton-devel <[email protected]> Sun, 13 Dec 2020 14:48:50 +0000
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <[email protected]>
I'm sure others can provide more details but did you see
http://www.mlton.org/LibrarySupport
"MLton supports both linking to _and creating system-level libraries_..."

Phil

On 13/12/20 06:37, Morten Olsen Lysgaard wrote:
> 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
>
>
>
>
> _______________________________________________
> MLton-devel mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-devel