Design and Implementation of Lightweight First-class Overloading

• UENO Katsuhiro

  Research Institute of Electrical Communication, Tohoku University

• OHORI Atsushi

  Research Institute of Electrical Communication, Tohoku University

Bibliographic Information

Other Title

• 多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装

Abstract

This paper describes a lightweight first-class overloading scheme for ML-style functional programming language. On this scheme, overloaded functions are first-class citizens and have polymorphic types with a type kind which denotes the set of instances of the overloaded functions. The type system and the compilation algorithm of this scheme is designed as a small and natural extension to a polymorphic record calculus and its compilation, so it is easy to extend an existing practical programming language and its full-scale compiler with this scheme if the language includes the polymorphic records. The scheme reported in this paper has been implemented in the SML# compiler, which is made available as an open source software.

Journal

• Computer Software

  Computer Software 29 (1), 191-210, 2012

  Japan Society for Software Science and Technology

Details

• CRID: 1390001204737182336
• NII Article ID: 130004549257
• DOI: 10.11309/jssst.29.1_191
• ISSN: 02896540
• Data Source:
  • JaLC
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed