2017 Fiscal Year Research-status Report
| Project/Area Number |
16K16040
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
対馬 かなえ 国立情報学研究所, アーキテクチャ科学研究系, 特任助教 (80754663)
|
|---|
| Project Period (FY) |
2016-04-01 – 2019-03-31
|
| Keywords | デバッギング / 型エラー / スライシング |
|---|
| Outline of Annual Research Achievements |
静的型付き言語においてプログラミングする際、型エラーのデバッグは時間がかかることの一つである。型エラーのデバッグに関して適切な補助を行うことができれば、ユーザの負担を大幅に削減することができる。本年度の主な成果は以下の3つである。
(1) 型エラースライシングの高速化：これまで扱ってきた型エラースライシング手法では、抽象構文木の上の方から一箇所ずつ削って行くという手法を採用していた。しかしそれではリストのような深い場所が大きく偏った構造に対して大きさに比例した時間がかかってしまう。おおよそ半分ずつ削ることができるような改良を加えることで、高速化を実現した。
(2) 複数の型エラースライスを用いたデバッグ：既存の型エラースライサを使用して、複数の型エラースライスを求める手法を提案した。それにより、より型エラーの原因である可能性が高い箇所を特定できるようになった。
(3) 型エラーデバッグ手法を統一的に扱うフレームワークの導入：型エラーのデバッグでは、実際の型エラーのプログラムやそれをデバッグするユーザによって、有効な手法が異なる。これまでの手法では、型エラースライサ・型エラーデバッガ・型エラーメッセージの生成等にはそれぞれ独立した実装が必要であった。本研究では、プログラムのある一部のみの principal type と、その部分に対して周りから期待される型からなるような木である、Type debugging information tree (TDIT) を導入することで、それらを統一して扱うことができるようになった。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本年度の研究で、型エラーのデバッグ手法に関しての改良・新たなフレームワークの実現が可能となり、リアルタイムデバッグ手法で扱う基盤が完成したため、順調に進んでいる。
|
| Strategy for Future Research Activity |
平成２８年度に実現したリアルタイム構造解析と、本年度実現した統一的な型エラーデバッグフレームワークを合わせることで、目的であるリアルタイム型エラーデバッグを実現する。また最終年度であるため、共著者たちとより密な連携を取りつつ、成果として発表していく。
|
