We have successfully developed all the features listed in Section 3.1, which include all the features that we had initially aimed at. The version 4.0.0 contains most of them, with the following restrictions.

1. 1.

   Target Architecture.

   The current compiler only generates x86-64 code.

2. 2.

   Optimization.

   In this version, optimization is far from adequate; it does not even implement standard ones such as inlining and constant propagation. So both the compilation time and the speed of generated code are not very satisfactory. We have started design and development of optimizing SML# compiler, and hope that we will provide an optimized SML# compiler that is as fast as other mature compilers.