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

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

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

  1. 1.

    ランク1多相性

  2. 2.

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

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