実験概要

実験概要

実験の目的と内容

本実験及演習の目的は，プログラミング言語 ML のサブセットの処理系(インタプリタおよび型推論機構)の実装を通じて，プログラムの実行前にエラーを検出する技術の基本的な仕組みを理解することにある．また，二次的な目的としては，プログラムを対象とする議論における基本的な用語を理解・習得することも挙げられる．

実験では，まず，前半(3週程度)で，処理系を実装するための言語として，ML の方言である Objective Caml の演習を，実験時に配布するテキスト「Objective Caml入門」を使って行う．ここでの Objective Camlの習得を通じ，MLプログラムの挙動，型推論に関する直感的理解を得る．そののち，インタプリタ・型推論器の作成を行う．MLは後に述べるように静的に強く型付けされた言語だが，まずは， (Schemeのように)静的な型のない言語としてインタプリタを実装し，それに型推論機構を加えていく．

実験スケジュールは以下を予定している．解説は主に木曜日に行う予定である．

第1週～第3週	「Objective Caml入門」第2～7章の演習
第4週～第5週	インタプリタの実装
第5週～第6週	型推論機構の実装

1.2

成績評価

前半の Objective Caml 演習(40点満点)はテキスト中の練習問題を解きレポートにする．後半のインタプリタ・型推論機構実装実験(各30点満点)も，本指導書の練習問題を解きレポートにする．

必修問題とマーク(または授業中にアナウンス)したものについては，レポートの提出がない場合，大幅に減点する．必修問題が満足な出来であれば，よい成績が期待できる．その他の問題も加点の対象であるので，できるだけ解いてほしい．

レポートは，プログラムを書く場合は，なぜそのようなプログラムに至ったかの説明を加えること．これがなければ，ほとんど評価されないので注意すること．(きれいな解答を思いつけばつくほど，短く，似たようなプログラムになる傾向がある．) また，インタプリタ作成においては，ソースコードを与えた上で，「インタプリタをテストせよ」という課題があるが，この場合，テストに用いるプログラムも評価対象である．導入された機能をきちんとテストするにはどうすればいいかを考えること．

1.3

資料，参考書，マニュアル

授業の web ページの URL は http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/ である．ここで本稿の完全版や「Objective Caml入門」のテキストが利用可能になる．また，Objective Caml のマニュアル [3] (英語)も http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/ocamlman/ よりオンライン利用が可能なようにしてある．その他，http://caml.inria.fr/ から，FAQ などの文書， Objective Caml を使ったソフトウェアなどが利用できる．Objective Caml は，Caml という言語を拡張して，オブジェクト指向プログラミングの機能などを加えたものであるが，本実験ではオブジェクト指向プログラミング機能をとくに必要としないため，本来の Caml の教科書[1]も参考になる．また，フランス語の Objective Caml の本が O'Reilly から出版されているが，現在，英訳プロジェクトが進行中で，オンラインで http://caml.inria.fr/oreilly-book/ より利用可能になっている．

後半のインタプリタ作成に関しては，[2, 第3章] を参考にしている． (この本では Scheme 自身で Scheme インタプリタを作成している．)