プログラミング言語SML#解説

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

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

  1. ランク1多相性

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

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

Contents