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において発表を行なった。

The number of references in the form of a number of references applies to the number of possible references. The purpose of this study is to study the relationship between speech motion and speech quality, and to explore the relationship between speech and speech quality. A study on the mechanism of Lax Transformation and the limitation of Lax Transformation The function of λ-merge is different from that of polyphase. This multi-phase phase, multi-type, multi-phase, multi-phase. This is the first time I've ever seen a person who's been in a relationship with someone else. For example, if you want to change the shape of the object, you can change the shape of the object by changing the shape of the object. This is a complete model, exact representation, static analysis, conversion, and application. The number of types is limited, the number of high-order relations is limited, the string Normalization is formed, the number of natural relations is increased, and the meaning of the field is increased. The results of the Workshop are as follows:

项目成果

Hideki Tsuiki: "Currying Multi methods in a merge calclus" 2nd Int.Conf.on functional and Logic progromming. (to appear). (1997)

Hideki Tsuiki：“在合并演算中柯里化多种方法”第二届 Int.Conf.on 函数和逻辑编程。