マージの機構によるオブジェクト指向言語の型システムの研究

利用合并机制研究面向对象语言的类型系统

• 批准号: 07780292
• 负责人: 立木 秀樹
• 金额: $ 0.45万
• 依托单位: Kyoto Sangyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780292/
• 关键词: マージ; 総称関数; 正規化性; モデル; オブジェクト指向

本研究の目的は、学位論文およびそれに続く理論的な研究で行なってきたマージの機能を持つ計算を拡張することにより、型つきのオブジェクト指向言語の基礎として用いることの可能な計算体系を構築することであった。このシステムで基礎となる、マージ式を用いた総称関数の定義方法に関して、2つの簡約規則を提唱してきた。一つは、基本型のマージ式は右辺を優先させるというもの、もう一つは、基本型のマージ結果がconflictを生じる時には、エラー値を返すというものであった。前者の体系が正規化性を持たないことは以前から知られていたが、そのモデルはできていなかった。本年度の研究の1つの成果として、ファンクタ・カテゴリにおいて領域理論を展開することにより、この体系のモデルを作成したことがある。この結果は、現在投稿中である。後者の体系に関しては、それによって作られる総称関数が、圏論におけるLAX変換に対応していることを発見した。また、それが実際のプログラミングにおいても自然な概念であることを裏づける例を見い出した。計算の性質として、正規化性は持たないが、Unresolved Termが存在しないといういい性質を証明した。また、前者の体系に対するモデルの手法に変更を加えることにより、モデルを作成できることも示した。この結果も、現在投稿中である。今後、この結果を拡張し、LAX limitのプログラミングにおける役割を考え、それに基づいたパラダイムを考えたい。また、オブジェクト指向の他の特徴もこのシステムに追加していきたい。

The purpose of this study is to study the theory of thesis and thesis, and to study the theory and its functions. It is possible to build a computing system based on the foundation of language by using the とにより and type つきのオブジェクト.このシステムでBasic となる, マージ formula を いた総淏淏淏淏毷のDefinition method に关して, 2つのsimplified rules してきた.一つは, basic type のマージ式 はright 辺を priority させるというもの, もう一つは, basic type のマージRESULTSがconflictを生じる时には、エラー値を回すというものであった. The formalization of the former system is based on the previous knowledge of the system and the formalization of the system. This year's research results are in the fields of research results and research results. The theory is developed and the system is developed and the system is developed.このRESULTは、Submitting nowである. The latter's system is called "Guan Shu". ,叏论におけるLAX変changeに対応していることを発见した.また、それが実界のプログラミングにおいてもnatural なconcept であることを里づける Example を见い出した. The properties of calculation, the properties of regularization, and the existence of Unresolved Term are proven.また, the former system of に対するモデルのtechniqueに変changeを加えることにより, モデルをproduced できることもshows した.このRESULTも、Submitting nowである. From now on, the results of the future, LAX limitのプログラミングにおける丒考え、それに记づいたパラダイムを卡えたい.また、オブジェクトPoint to himの特徴もこのシステムにAdd していきたい.