Chapter 9. SML#の拡張機能：その他の型の拡張

SML#では，レコード多相性に加え，以下の２つの拡張をしてい ます．

1. ランク１多相性

2. 第一級のオーバーローディング

本章では，これら機能を簡単に説明します．