動的メソッドを扱うオブジェクト指向言語の型システム

处理动态方法的面向对象语言的类型系统

• 批准号: 10780187
• 负责人: 西村 進
• 金额: $ 1.22万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 1999
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10780187/
• 关键词: 型システム; 型推論; オブジェクト指向; 制約システム; 動的メソッド呼出し

今年度は多相型を制約として表す型システムおよびその型推論アルゴリズムに関して研究を行った。多相型システムとは、一つのメソッドあるいは関数を、複数の異なる型に対して適応することを許すような型システムを言う。多相型についてはよく研究されてきており、通常のプログラミング言語における多相型の型推論アルゴリズムについてもよく知られている。しかしながら、この研究のテーマとなっている動的メソッド呼び出しのためには、従来のアルゴリズムでは不十分である。なぜなら、従来のアルゴリズムでは、多相的なメソッドの型はそれが実際に使われる前に決定していなければならないからである。動的メソッドの型は実行時に初めてわかるので、このような状況を仮定するのは困難である。本研究ではこの問題を、多相的な型付けを制約として表すことで解決できることを示した。すなわち、型推論時にはメソッドのもつ多相型とそれが使われる時の型が充たすべき関係を制約式として生成し、メソッドが実際に使われるときに型が制約を充足するかどうか調べることによって、動的メソッドが多相型を持つことを許すことができる。従来の研究に対する本研究の利点は、制約システムを使うことにより、多相型を含む型システムが完全に宣言的に定義され、そのため型推論も非常に単純な制約生成および制約解消の手続きとして理解できることである。この結果は、いくつかの研究集会などで発表済み/予定であり、雑誌等への出版の用意を進めているところである。また、昨年度独国Saarbrucken大学のMartin Muller氏と行った研究の成果はInternational Journal of Foundations of Computer Scienceに近日掲載予定である。

This year, the study of multiphase model control and model inference was carried out. Multi-phase systems are described in terms of number, diversity and type. The polyphase type is studied in detail, and the polyphase type is inferred from the polyphase type. This is the first time I've ever been to a school. In addition, the multi-phase system can be used to determine whether or not the system is suitable for use. The movement of the model is difficult to determine when it is first implemented. This paper presents a solution to the problem of multi-phase control. When the model is inferred, the model is fully constrained. When the model is generated, the model is fully constrained. When the model is adjusted, the model is fully constrained. When the model is adjusted, the model is fully constrained. The advantages of this study are: the definition of polyphase, the definition of polyphase and the definition of polyphase. The result of this study is that the purpose of publishing is to make progress. The results of Martin Muller's research at Saarbrucken University last year have been published in the International Journal of Foundations of Computer Science.

项目成果

Martin Muller,西村 進: "Type Inference for First-Class Messages with Feature Constraints" ASIAN Computing Science Conference(ASIAN98),LNCS.1538. 169-187 (1998)

Martin Muller、Susumu Nishimura：“具有特征约束的一流消息的类型推断”亚洲计算科学会议 (ASIAN98)，LNCS.169-187 (1998)。

西村進,大堀淳: "Parallel Functional Programming via Date-Parallel Recursion"Journal of Functional Programming. 9,4. 427-462 (1999)

Susumu Nishimura，Jun Ohori：“通过日期并行递归进行并行函数编程”函数编程杂志 9,4（1999）。

大堀淳,ジャックガリグ,西村進: "コンピュータサイエンス入門アルゴリズムとプログラミング言語"岩波書店. 280 (1999)

Jun Ohori、Jack Garrig、Susumu Nishimura：“计算机科学算法和编程语言入门”Iwanami Shoten 280 (1999)。

MartinMuller,西村進: "Type Inference for first-class Messages with Feature Constraints"International Journal of Foundations of Computer Science. 発表予定.

MartinMuller、Susumu Nishimura：“具有特征约束的一流消息的类型推断”国际计算机科学基础杂志计划出版。

西村 進,大堀淳: "Parallel Functional Programming via Data-Parallel Recursion" Journal of Functional Programming.

Susumu Nishimura、Jun Ohori：“通过数据并行递归进行并行函数编程”函数编程杂志。