Lax Trans formationを用いたPolymorphismの意味づけ

使用 Lax Trans 形成的多态性的含义

基本信息

批准号：
08780314
负责人：
立木秀樹
金额：
$ 0.45万
依托单位：
Kyoto Sangyo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1996
资助国家：
日本
起止时间：
1996 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08780314/
关键词：
総称関数パラメトリシティ多相ポリモルフィズム

项目摘要

総称関数とは、複数の引数の型に対して適用可能な関数のことである。型つきのオブジェクト指向言語の動作を、総称関数を用いて表現し、その性質を調べ、新しい言語の設計に対する指針を与えようというのが、この研究の目標である。そのような計算として、λ-mergeや、オーバーロードの機構を改良し、Lax Transformationに対応する動作をするものに制限したλmについて研究してきた。λ-mergeのオーバーロードの機能は、一種のアドホックな多相(Polymorphism)と考えることができる。この多相では、どの型に対しても統一的な動作をするパラメトリックな多相に対応したものは表現できなかった。このことは、遅延束縛を表現できないことを意味し、オブジェクト指向に対応する型システムとして用いるための、大きな障害となっていた。そこで、オブジェクト指向に対応するλ-mergeの部分計算に型変数を導入し、パラメトリックな多相を表現できるようにすることにより、遅延束縛の動作を表現できる計算を考えた。ここでは、全ての型が、exactに表現されており、オブジェクト指向に対する静的解析、プログラム変換などへの応用が期待される。型変数をレコードに制限し、また、高階な関数の利用も制限したため、string Normalizationが成り立ち、自然なファンクタによる領域の上で意味を与えることができる。この結果については、Workshopにおいて発表を行なった。

通用函数是可以应用于多种参数类型的函数。这项研究的目的是使用通用功能表达面向对象的语言的行为，检查其属性，并为新语言的设计提供指导。这样的计算，我们研究了λ-Merge和λm，这些λ-Merge和λm改善了过载的机理，并仅限于与LAX转化相对应的操作的机理。 λ-Merge过载的功能可以视为一种临时多态性。在这种多相中，不可能表达一个用于任何类型的统一运行的参数多相。这意味着无法表达延迟约束，并且已成为用作面向对象类型系统的主要障碍。因此，我们提出了一个计算，可以通过将类型变量引入与对象方向相对应的部分计算中表达延迟结合操作，从而允许表达参数多相表达式。在这里，所有类型均准确表达，并且可以预期进行对象取向（例如静态分析，程序转换等）的应用。因为我们将类型变量限制为记录，并且还限制了使用高阶功能的使用，因此字符串归一化可以保持，并且可以在天然函数的区域中赋予含义。这些结果是在研讨会上提出的。