futhark-server-sml [](https://github.com/diku-dk/futhark-server-sml/actions)
July 10, 2021 ยท View on GitHub
A Standard ML implementation of the Futhark server protocol, allowing simple interoperability between Futhark and SML programs.
Overview of MLB files
-
lib/github.com/diku-dk/futhark-server-sml/futhark-server.mlb:
- signature SERVER (low-level interface)
- structure Server :> SERVER
- signature SERVER_VARS (high-level interface)
- structure ServerVars :> SERVER_VARS
Installation via smlpkg
$ smlpkg add github.com/diku-dk/futhark-server-sml
$ smlpkg sync
You can now reference the mlb-file using relative paths from within
your own project's mlb-files.
Usage
See this very simple example program.
Compatibility
Tested with MLton and MLKit. Should in principle work with any SML implementation that supports a reasonable subset of the Basis library (e.g. SML/NJ), but you may need to manually load the files if they don't support MLB.