著者

古瀬 淳

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.22, no.2, pp.90-94, 2005-04-26

---

Extensional polymorphismは関数型言語ML上での非パラメトリック多相性を実現するための枠組のーつであり,generic valueという,純粋なパラメトリック多相性の下では不可能な機能を提供する.我々は型ディスパッチと型パターンマッチを利用したgeneric valueの既存のコンパイルにおける意味論と効率の問題を指摘し,新たに[フロー」と呼ばれる,型付け情報を整数グラフに変換した物をディスパッチする変換方法を提案する.フローを使うことで,より自然な意味論に沿った変換が可能になり,多重定義値の呼び出しの効率も改善される.