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

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

• 批准号: 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に近日掲載予定である。

今年，我们对将多相类型作为约束及其类型推理算法进行了研究。多相系统是指允许将方法或函数适应多种不同类型的类型系统。多相类型已经进行了充分的研究，并且在普通编程语言中的多相类型推理算法也众所周知。但是，传统算法不足以使动态方法调用，这是本研究的主题。这是因为在传统算法中，必须在实际使用之前确定多态方法类型。这种情况很难假设，因为动态方法的类型仅在运行时已知。这项研究表明，可以通过将多相键入作为约束来解决此问题。也就是说，当类型推理时，可以通过在方法的多相类型上生成约束表达式来允许动态方法具有多相类型，而方法的多相类型及其使用的类型应满足，并检查该类型在实际使用该方法时是否满足约束。这项研究比先前的艺术研究的优点是，通过使用约束系统，可以完全声明地定义包含多相类型的类型，因此类型推理也可以理解为一种非常简单的程序，用于约束生成和限制。这些结果已在几次研究会议上发布或计划，目前正准备在杂志和其他出版物中发布。此外，去年与德国萨尔布鲁克大学的马丁·穆勒（Martin Muller）进行的研究结果将在《国际计算机科学基础杂志》上发表。

项目成果

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)。

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

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

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

Susumu Nishimura，Jun Ohori：“通过日期并行递归进行并行函数编程”函数编程杂志 9,4（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：“通过数据并行递归进行并行函数编程”函数编程杂志。