- 著者
-
村山 尚
児玉 靖司
原田 賢一
- 雑誌
- 全国大会講演論文集
- 巻号頁・発行日
- vol.52, pp.7-8, 1996-03-06
プログラミング言語は、型付き言語と型無しの言語に、大別できる。型付き言語は,静的型検査によって型誤りを起こさないことが保証される強く型付けされた言語、型誤りを起こす可能性のあるプログラムも型検査に合格してしまう弱く型付けされた言語とに分けられる。強く型付けされた言語では,型に関して安全で,信頼性の高いプログラムを作ることが可能である。型無しの言語では,型を明示的に指定する必要がないので,プログラムが簡潔に記述でき、変更などに対しても柔軟に対応できる。 強く型付けされた言語と型無しの言語の両方の長所を実現するために,型推論が考案された。型推論とは,プログラム中に現われる,非明示的な型に関する情報を使って,式の持ち得る型を厳密な推論規則によって、決定することである。型推論を行うことにより、明示的に型を指定しなくても,強い型検査を行うことができ,実行時の型誤りが起きないことが保証できる。