Foreign Function Binding

Foreign function binding can be done by using the following constructs of SML#.

• Dynamiclink structure
• _import special form
• _ffiapply special form

These features achieve seamless interoperability with C.

• Supported interoperable types
• SML#0.20 restriction

In the SML# 0.20 version, only dynamic linking is supported. We plan to support static linking in a future version that support native code generator and separate compilation.