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

  1. （型クラス）

    プリント第4章 p.4 問4.5.1
    　　または
    プリント第4章 p.5 問4.6.1
    どちらか1問を選択して下さい。

    参考にするプログラム: TypeClassExample.hs ()

  2. （Prolog）

    プリント第 6章 p.6 問6.4.2

    参考: 問6.4.1の解答例

    ?- append([1,2], [3,4], X).
    これに対して、 append([H1|X1], Y1, [H1|Z1]):- append(X1, Y1, Z1). が、
    H1=1, X1=[2], Y1=[3,4], X=[1|Z1] で適用できる。

    ?- append([2], [3,4], Z1).
    これに対して、 append([H2|X2], Y2, [H2|Z2]) :- append(X2, Y2, Z2). が、
    H2=2, X2=[], Y2=[3,4], Z1=[2|Z2] で適用できる。

    ?- append([], [3,4], Z2).
    これに対して、 append([], Y3, Y3). が、
    Y3=[3,4], Z2=[3,4] で適用できて、ゴール節が消える。

    まとめると、 X = [1|[2|[3,4]]] (= [1,2,3,4])

  3. （モナド）

    次の C言語で記述された関数と(Cのint型と Haskellの Int型に共通する範囲において) 同等の関数を Haskellで定義せよ。

    int baz(int n) {
  int d = 1;

  while (d > 0) {
    if (n > 100) {
      n -= 10;
      d--;
    } else {
      n += 11;
      d++;
    }
  }
  return n;
}

    作成した Haskellの関数と元の Cの関数の定義の対応が 明らかでない場合、簡単に説明すること。

    参考にするプログラム: FactST.hs（プリント 第5章 p.13 上のプログラム） ()

  4. （CPSへの変換）

    プリント第8章 p.6 問8.4.1
    このHTMLファイルを元にして下さい。

    参考にするプログラム: Hanoi0.html, Hanoi0.js (), Hanoi.html, Hanoi.js (), Fib.html, Fib.js ()

できるだけ短く簡潔におさめて下さい。

提出〆切は、8月5日（火）の18:30です。提出場所は、香川のレターボックス（7F 学科事務前）です。 （オンラインの提出はありません。）

プログラミング言語特論のホームページ
Koji Kagawa