futhark-server-sml

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.