Chapter 5. SML# feature：other type system extensions
In addition to record polymorphism, SML# extend the Standard ML type system with the following.
-
rank 1 polymorphism, and
-
first-class overloading.
This chapter briefly introduce them.
In addition to record polymorphism, SML# extend the Standard ML type system with the following.
rank 1 polymorphism, and
first-class overloading.
This chapter briefly introduce them.