SML# Document

Chapter 7. SML# feature: record polymorphism

The rest of this part introduce the extensions newly introduce by SML# through examples.

In this chapter, we learn programming with records based on record polymorphism.

We note that record polymorphism is not a special additional feature in record programming, but the basic mechanism required to realize the ML's principle in program construction: “expressions are composed as far as they are type consistent”. Standard ML lacks this basic mechanism and therefore in Standard ML, one cannot write ML-style program in manipulating records. For this reason, we postpone explanation of records until this chapter.

Let's start learning record programming basics.

Contents