SML#プロジェクト

プログラミング言語SML#解説 3.7.1版
II チュートリアル

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

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

  1. 1.

    ランク１多相性

  2. 2.

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

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