Design and Implementation of Lightweight First-class Overloading
Design and Implementation of Lightweight First-class Overloading
复制标题
轻量级重载的设计与实现
DOI：
10.11309/jssst.29.1_191
复制
发表时间：
2012
影响因子：
--
通讯作者：
上野雄大,大堀淳
中科院分区：
文献类型：
--
作者：
Yusuke Nishimura;Kosuke Maebara;Tomoya Noro;and Takehiro Tokuda;Yusuke Nishimura;篠埜功,大堀淳;上野雄大,大堀淳
本論文では, 多相レコード計算のコンパイル方式を応用し軽量に実現可能な, 型付き関数型言語の第一級オーバーロード方式を提案する. この方式の下では, オーバーロードされた関数は, オーバーロードされた型上のみを動く型変数で束縛された多相型を持つ第一級の関数として扱われる. 本機能の実現に要求されるものは, 型抽象におけるインスタンス変数の生成と, 型適用におけるインスタンスの選択のみであり, これらは多相レコードコンパイルと同様の方式で達成できる. 本方式は SML# コンパイラ上に実装され公開されている.