One major feature of SML# as a practical language is the support of true separate compilation that is compatible with system development in C. In SML#, one can develop a large software system as follows.

1. 1.

   Compile source files into object files.

2. 2.

   Link object files and additional C object files and system libraries to generate an executable file.

Furthermore, SML# compiler can produce file dependency in the format of Makefile. Using these features, SML# can be used with C to develop a large software efficiently and reliably. This chapter outline how to use separate compilation of SML#.