リアルタイム型エラーデバッグの基礎理論と実際

2018 年度 実施状況報告書

• 研究課題/領域番号: 16K16040
• 研究機関: 国立情報学研究所
• 研究代表者: 対馬 かなえ 国立情報学研究所, アーキテクチャ科学研究系, 特任助教 (80754663)
• 研究期間 (年度): 2016-04-01 – 2020-03-31
• キーワード: デバッギング / 型エラー / スライシング

研究実績の概要

静的型付き言語においてプログラミングする際、型エラーのデバッグは時間がかかることの一つである。型エラーのデバッグに関して適切な補助を行うことができれば、ユーザの負担を大幅に削減することができる。本年度は型エラーデバッグに関する基盤技術のうち、以下の 2 つに関する研究を行った。
(1) 型エラースライシングの高速化：現在の型エラースライサでは、プログラムの一部を例外の発生の構文に変換し、コンパイラの型推論器にかけ、型エラーかどうかの判定を行うことで型エラースライシングを行っている。プログラムの多くの部分をそのように置き換えると、型推論に時間のかかるプログラムになってしまうことが多い。そのため、これまでの単純に置き換えたプログラムから、より型推論に時間のかからない同等なプログラムに変換する手法を提案した。
(2) プログラム変換による複数の型エラーメッセージの生成：コンパイラの型エラーのメッセージは型推論の順序に依存しており、一つのプログラムに対して一つしか得られない。本研究では型エラーのプログラムに対してプログラム変換をかけることで推論の順序を変え、複数の型エラーメッセージを得る手法を提案した。またこの手法では、可能な限り変換しつつ型エラーメッセージを集めていくことで、同時に型エラースライスを求められる。昨年度のフレームワークに続き、新たな型エラーデバッグのための基盤となる可能性を示した。

現在までの達成度 (区分)

2: おおむね順調に進展している

理由

本年度の研究で、型エラーのデバッグ手法に関しての改良、またより簡単に型エラーデバッグに役立つ情報を得ることが可能になったため、順調に進んでいる。

今後の研究の推進方策

平成２８年度に実現したリアルタイム構造解析と、本年度の成果を合わせることで、本課題の目的であるリアルタイム型エラーデバッグを実現する。

次年度使用額が生じた理由

研究が続いており、次年度に研究成果の論文発表等で使用するため。