SML#プロジェクト
ダウンロード
ドキュメント
教科書
開発
ニュース
SML#について
プログラミング言語SML#解説 4.0.0版
II
チュートリアル
8.7
多相バリアントの表現
9.1
ランク1多相性
Chapter 9
SML#の拡張機能:その他の型の拡張
SML#では,レコード多相性に加え,以下の2つの拡張をしてい ます.
1.
ランク1多相性
2.
第一級のオーバーローディング
本章では,これら機能を簡単に説明します.
9.1
ランク1多相性
9.2
ランク1多相性による値多相性制約の緩和
9.3
第一級オーバーローディング