2011-06-09から1日間の記事一覧
最終章「プログラムの論証」の練習問題です。 1. 付録A にある重複するパターンをもつ関数定義は zip。 zip の2つの引数がどちらも空リストの時に1番目と2番目のパターン両方にマッチします 2. add n (Succ m) = Succ (add n m) を示す n = Zero の時 (左辺)…
最終章「プログラムの論証」の練習問題です。 1. 付録A にある重複するパターンをもつ関数定義は zip。 zip の2つの引数がどちらも空リストの時に1番目と2番目のパターン両方にマッチします 2. add n (Succ m) = Succ (add n m) を示す n = Zero の時 (左辺)…