权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

自己反映言語への型の導入

将类型引入自我反思语言

基本信息

批准号：
13780201
负责人：
淺井健一
金额：
$ 1.54万
依托单位：
Ochanomizu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2001
资助国家：
日本
起止时间：
2001 至 2002
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13780201/
关键词：
自己反映言語型部分評価インタプリタコンパイラ関数型言語

项目摘要

前年度には、型のある言語(OCam1)で実装されてはいるが、その型はユーザには見えていないような自己反映言語を作成した。本年度は、このシステムをユーザから型が見えており、かつ変更ができるようにするべく研究を進めた。しかし、結論から書くと、変更可能とするには本質的な問題があり、難しいことがわかった。以下、その概要を述べる。インタプリタ中の関数に(型も含めて)アクセスするためには、まずインタプリタを構成する関数の型をユーザから見えるデータ型で表現する必要がある。これには普通通り、OCam1のデータ型を使用することで対応できる。次に、このように表現された型を持つインタプリタ中の関数にアクセスしようと思うと、ユーザから見えるデータ型をインタプリタ中で実際に使われている型に変換してやる必要がある。しかし、この変換は現在の関数型言語では不可能である。というのは、この変換の型は、ユーザから見えるデータ型を受け取ってきて、それが表す型を返すことになり、返り値の型が定まらないからである。この問題は、依存型などのより複雑な型を使えば可能と予想されるが、依存型はまだまだ研究段階である。一般的な解は現在のところ難しいことがわかったが、このインタプリタに現れる関数のみを扱えるような限定的なシステムなら構築できそうな感触を得た。一般的に、ユーザから見えるデータ型をインタプリタ中で使われている型に変換するのではなく、このインタプリタに現れる関数全てについてのみ、あらかじめその対応する型を登録しておけば、型変換の困難は回避できる。しかし、これでは関数やその型を見ることはできても変更することはできず、当初の目的であった型システムの変更には結び付きそうにはなく、実用性は疑問である。

The previous year, the type of speech (OCam1) was installed in the middle of the year, the type of speech was installed in the middle of the year, and the type of speech was installed in the middle of the year. This year, we will continue our research on this topic. The problem of nature is difficult to solve. The following is a summary of the above. The relationship between the number of people in the middle of the game and the number of people in the middle of the game. This is the first time I've ever seen an OCam. In the second place, it is necessary to change the shape of the material in the middle of the material. It is impossible to change the number of words. In the middle of the day, the type of change, the type of change. This problem is dependent on the type of complex problem, so that it can be considered, dependent on the type of problem, the stage of study. The general solution is to create a complex structure. General, the first to see, the second to see, the third to see, the fourth to see, the fourth to For example, if you want to change your mind, you can change your mind.