WEKO3
-
RootNode
アイテム
型レベル評価によるHindley/Milner多相型システムの拡張
https://ipsj.ixsq.nii.ac.jp/records/81621
https://ipsj.ixsq.nii.ac.jp/records/81621e97a9e0d-9af1-480f-ab5b-228517a5b833
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO0502011.pdf (83.3 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-30 | |||||||
| タイトル | ||||||||
| タイトル | 型レベル評価によるHindley/Milner多相型システムの拡張 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Extension of Hindley/Milner Polymorphic Type System with Type Level Evaluation | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| （株）システム計画研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute of Systems Planning, Inc./ISP | ||||||||
| 著者名 |
服部, 健太
× 服部, 健太
|
|||||||
| 著者名(英) |
Kenta, Hattori
× Kenta, Hattori
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Hindley/Milner多相型システムは様々なプログラミング言語の型システムの基盤として広く用いられてきた．現実的なプログラミング言語においては，Hindley/Milner多祖型システムの表現力を高める必要があり，多相レコードやオーバロード，型クラスといった数多くの拡張が提案されてきた．これらの拡張は，型変数に述語やカインドといったある種の制約を付け加えることで実現している．我々はHindley/Milner多相型システムを拡張するための新しいアプローチを提示する．我々のアプローチの鍵は，(1)暗黙的に型づけられたプログラムをそれと同等な明示的に型づけられたプログラムに変換し，(2)型レベルでそのプログラムを評価しながら型判定を行う，というものである．我々のアプローチは，制約付きの型のように型システムを複雑化することなく，簡単に拡張することができる．本発表では，例としてオーバロードと多相レコードを扱うシステムについて検討する． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The Hindlely/Milner polymorphic type system has been widely used as the basis of type systems for various programming languages. For realistic programming languages, a number of extensions have been proposed to increase the expressive power of the Hindley/Milner polymorphic type system, such as polymorphic record, overloading and type classes. Basically, these extended type systems are realized by adding certain constraints, which are type kinds and predicates, to type variables. We present a new approach to extending the Hindley/Milner polymorphic type system. The key to our approach are (1) a translation of an implicitly-typed program into an equivalent explicitly-typed program, and (2) the use of type level evaluation for type checking of the program. Our approach easily extends the type system without introducing a complicated type system such as a constrained type. In this presentation, as examples, we consider systems that deal with overloading and polymorphic records. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 5, 号 2, p. 99-99, 発行日 2012-03-30 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
