Вы можете иметь опцию:
Вам нужно будет использовать что-то вроде компилятора MLj . Он компилируется в байтовый код Java. Или вы можете использовать компилятор SML.NET для компиляции в .NET IL.
Среди ML обычно обе стороны экспортируют в C, а затем вызывают функции C. Практически во всем есть библиотека FFI для «простого» экспорта в C.
http://www.smlnj.org/doc/SMLNJ-C/index.html
, так что для внешнего мира ваша библиотека sml будет вести себя как библиотека C, за исключением связанных с ней ошибок сегментации и утечек памяти *
* не является гарантией
Проекты популяризируют языки. Сделайте фундамент для интересного и, несомненно, «крутого» проекта с использованием машинного обучения, и люди устремятся к языку. Например, взгляните на Erlang с ejabberd и mochiweb - оба классных проекта, которые сотворили чудеса с одноразовым алмазным языком, таким как erlang (который, кстати, в последнее время я предпочитаю языком разработки). Я, например, хотел бы, чтобы кто-нибудь сделал что-нибудь крутое с ML, с языком приятно думать.
Существует несколько компиляторов Standard ML . Вики MLton также содержит тест .
Я использовал Moscow ML, который компилирует стандартный ML в байт-код. Это не быстро, но работает. MLton часто называют лучшим стандартным компилятором машинного обучения с точки зрения эффективности.