6 0 0 0 OA コンパイラの型推論を使用した型デバッガの提案
- 著者
- 対馬 かなえ 浅井 健一
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.30, no.1, pp.1_180-1_186, 2013-01-25 (Released:2013-03-05)
本稿ではコンパイラに備わっている型推論器をそのまま使い,型デバッガを作成する手法について述べる.これまでの型デバッガでは型推論器を独自に再実装して型を求めていたが,それらの手法と比較して我々の手法には3つの利点がある.1つ目は型推論結果に不一致が起きないことが保証されることである.従来の型デバッガでは,型デバッガの型推論器とコンパイラの型推論器の間で齟齬が起きる可能性があった.2つ目はそもそも型推論器を再実装する必要がないことである.それによりこれまでに行われていない,構文等が多い言語の型デバッガを容易に作成することが出来る.3つ目はコンパイラの型推論器の更新に依存しないことである.これらの利点を活かし,我々は実際にOCamlを対象とした型デバッガを実装した.本稿では単純型付きラムダ計算とlet多相を対象として提案手法を説明し,実装について述べる.
- 著者
- 対馬 かなえ
- 出版者
- 情報処理学会 ; 1960-
- 雑誌
- 情報処理 (ISSN:04478053)
- 巻号頁・発行日
- vol.57, no.9, pp.849-854, 2016-08-15
本稿は,プログラミング初心者を対象としたプログラミング入門である.Racketという言語を用いて,未完成のゲームを完成させながら,プログラミングの基礎となるいくつかの要素を学んでいく.前編では,まずRacketのプログラミングの始め方を解説し,プログラムを少し変更して実行結果が変わる体験をしたのち,ゲームの世界を成り立たせている構造体について学ぶ.