動的型付けと静的型付けを融合した漸進的型付けのメタ理論

【多相性をもつ漸進的型付き言語】前年度までに引き続き、多相性を含む漸進的型付き言語の実装モデルである多相コアーション計算体系の、特に空間効率についての理論研究を行った。これまでの研究成果で多相性における重要な性質であるパラメトリシティと空間効率の良い実装が両立しないことは判明していたが、本年度は新たにその原因が名前生成の機構にあることを理論的に示した。また逆に、パラメトリシティを（完全にではないが）ある程度あきらめることで、多相性を含む漸進的型付き言語を空間的に効率良く実装するための知見を得た。【データ構造のための漸進的型付け】これまでにも様々なデータ構造を扱うために、列多相性をサポートする漸進的型付き言語の研究に取り組んできた。しかしこれまで考えていた列多相性はフィールド名の重複を許すものであったため、型上で表現された列構造の動的検査のための仕組みが想定以上に複雑になってしまっていた。そこで本年度では重複を許さない列多相を対象とした漸進的型付き言語の設計を行った。その結果、実行検査の仕組みが簡便になる見通しを得た。

【多相性をもつ漸進的型付き言語】前年度までに引き続き、多相性を含む漸進的型付き言語の実装モデルである多相コアーション計算体系の、特に空間効率についての理論研究を行った。これまでの研究成果で多相性における重要な性質であるパラメトリシティと空間効率の良い実装が両立しないことは判明していたが、本年度は新たにその原因が名前生成の機構にあることを理論的に示した。また逆に、パラメトリシティを（完全にではないが）ある程度あきらめることで、多相性を含む漸進的型付き言語を空間的に効率良く実装するための知見を得た。【データ構造のための漸進的型付け】これまでにも様々なデータ構造を扱うために、列多相性をサポートする漸進的型付き言語の研究に取り組んできた。しかしこれまで考えていた列多相性はフィールド名の重複を許すものであったため、型上で表現された列構造の動的検査のための仕組みが想定以上に複雑になってしまっていた。そこで本年度では重複を許さない列多相を対象とした漸進的型付き言語の設計を行った。その結果、実行検査の仕組みが簡便になる見通しを得た。