A Compilation Method for Dynamic Typing in ML

研究成果: Conference contribution

抄録

This paper develops a systematic method for extending a polymorphic type system of ML with dynamic typing, and implements the extension in SML#. The core of the extension consists of an adaptation of the type-directed compilation method for non-parametric polymorphism to type tag abstraction and type tag generation. To support existentially bound type variables in dynamic value elimination and user-level manipulation of dynamic values, the conventional type-directed compilation framework is extended with existential types and a mechanism to reify dynamic values to user-level datatypes. The resulting language achieves orthogonal integration of dynamic typing in ML: it supports all the standard features, including polymorphic type inference, user-defined datatypes and pattern matching, in programming with dynamic typing. The implementation readily provides various practical features, including polymorphic first-class pretty-printer, polymorphic deserialization, type-safe interface to database systems, and type-safe meta-programming.

本文言語English
ホスト出版物のタイトルProgramming Languages and Systems - 19th Asian Symposium, APLAS 2021, Proceedings
編集者Hakjoo Oh
出版社Springer Science and Business Media Deutschland GmbH
ページ140-159
ページ数20
ISBN(印刷版)9783030890506
DOI
出版ステータスPublished - 2021
イベント19th Asian Symposium on Programming Languages and Systems, APLAS 2021 - Chicago, United States
継続期間: 2021 10 172021 10 18

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
13008 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Conference

Conference19th Asian Symposium on Programming Languages and Systems, APLAS 2021
国/地域United States
CityChicago
Period21/10/1721/10/18

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「A Compilation Method for Dynamic Typing in ML」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル