SML# Document

Chapter 13. SML# feature: separate compilation

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. Compile source files into object files.

  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#.