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

2019 年度 研究成果報告書

• 研究課題/領域番号: 16K16040
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: ソフトウェア
• 研究機関: 国立情報学研究所
• 研究代表者: 対馬 かなえ 国立情報学研究所, アーキテクチャ科学研究系, 特任助教 (80754663)
• 研究期間 (年度): 2016-04-01 – 2020-03-31
• キーワード: 型エラー / デバッグ / 関数型言語 / 型エラースライス

研究成果の概要

リアルタイムに型エラーを修正 (デバッグ) するための手法について研究を行った。まず一つ目はプログラム記述中の構文解析である。これには実装のコストを削減するために、既存の構文解析器を使用する手法を提案した。二つ目は型エラーの修正手法の改良である。主な成果は (1) エラーのある範囲を絞り込む型エラースライサの実用的な改良手法 (2) エラー範囲が絞り込まれた型エラースライスを複数個使用してより良い情報を見つける手法 (3) いくつかの型エラーデバッグ手法を統合的に扱うフレームワーク (4) 既存の型推論器を使用してエラーメッセージのように二つの矛盾する型を示す手法、などである。

自由記述の分野

プログラミング言語

研究成果の学術的意義や社会的意義

プログラムは現代社会を支える基盤の一つとなっており、プログラムの安全性の確保や、作成するためのコストの削減は重要である。本研究では、型によってある種の安全性が保証されるプログラムを、プログラマがこれまでより容易に記述できる方法について研究した。それにより、安全性の高いプログラムが増えると同時に、プログラマへの負担を軽減することが期待される。