自己反映(リクレクティブ)言語のセマンティクスと部分評価による効率的実現

通过自省语言语义和部分评价高效实现

基本信息

批准号：
07780231
负责人：
浅井健一
金额：
$ 0.58万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780231/
关键词：
自己反映言語関数型言語部分評価副作用命令

项目摘要

自己反映計算(Reflective Computation)とは、計算中にその計算システム自体の状態を参照、操作できるような計算のことである。本研究では、そのセマンティクスの明確化、及び効率的実現を目指して、以下の3点を行なった。1.既に作成していたインタプリタをさらに詳細に検討・整理することで、その構造をより明らかにした。具体的には、コードが直接実行されるものと解釈実行されるものとに分類され、それぞれが効率的なインタプリタと柔軟性の高いインタプリタに対応していることを示した。その上で、効率を損なわない範囲で解釈実行されるコードを導入することが、柔軟性の高い効率的な自己反映言語には重要であることを示した。2.自己反映言語を柔軟性を保ちつつ効率的に実現するためには、解釈実行される部分に部分評価器を使うことが必要であることを示した。さらに、実際にどの部分を部分評価すれば良いのかを抽出し、部分評価器が種々の副作用命令、特に入出力型とデータ構造への破壊的代入型の副作用を扱える必要があることを示した。3.実際に部分評価器を使って自己反映言語をコンパイルするため、副作用を含む関数型言語に対する部分評価器の作成法を検討した。このうち、入出力型の副作用に関しては、履歴付記号値を使うことで扱えることを示し、実装した。データ構造への破壊的代入については、破壊リストを導入することで安全に扱えることを示し、実装した。これをより強力なものとし、実際に自己反映言語のコンパイルに使っていくのは、今後の研究課題である。また、副作用命令のうち変数代入については、エイリアスに関して困難な問題が存在することを発見した。変数代入は自己反映言語側では必ずしも必要ないが、この問題の解決も今後の課題である。

反射计算是一种计算，可以在计算过程中引用和操纵计算系统本身的状态。在这项研究中，我们进行了以下三点，以阐明语义并有效地实现它们。 1。通过进一步检查并更详细地组织了已经创建的口译员的结构。具体而言，该代码被归类为直接执行和被解释和执行的代码，表明每个代码对应于有效且灵活的解释器。此外，已经表明，在不损害效率的范围内解释和执行的代码对灵活有效的自我反射语言很重要。 2。我们已经表明，为了有效地实现自我反省语言，同时保持灵活性，有必要使用部分评估者来解释该部分。此外，提取了应部分评估哪些零件，并证明部分评估者需要能够处理各种副作用指令，尤其是输入/输出类型的副作用以及对数据结构的破坏性分配类型的副作用。 3。为了使用部分评估者实际编译自我反射语言，我们研究了如何为包含副作用的功能语言创建部分评估者。其中，可以使用历史符号值来处理输入/输出类型的副作用，并实施实现。我们已经证明，可以通过引入破坏性列表并实施的数据结构的破坏性分配可以安全地处理。这是一个未来的研究主题，可以使其更加强大，并在实际编译自我反射语言中使用它。此外，我们发现副作用指令之间的可变分配存在混乱存在困难问题。在自我反思语言方面，不一定需要变量分配，但是解决此问题也将是未来的挑战。