プログラミング言語論 第2回レポート


  1. 問4.10.2 (プリント p.30、エラー処理+状態)
    テンプレートをダウンロードして、 {- ここを考えて下さい -}となっているところを埋めて下さい。
    その後テストプログラムを適当に変更して、 適切なエラーメッセージが出るかどうか確認して下さい。
  2. 非決定性のインタプリタ(4.12)で次の関数の値を計算してください。

    letrec 
       fact = fn n -> if n<=0 then 1 
                              else n*fact(amb n-1 or n-2) 
    in fact 9
    

TeXまたはWord(など)でレポートを作成して下さい。

締切は新年最初の授業時間です。


プログラミング言語特論のホームページ
Koji Kagawa (kagawa@eng.?????)