問題1.10はアッカーマン関数。また、いつもどおり、schemeで書かれている関数をHaskellに ackermann x y | y == 0 = 0 | x == 0 = 2 * y | y == 1 = 2 | otherwise = ackermann ( x -1 ) ( ackermann x ( y - 1))で、問題は次の引数のときの値は何か？だから…

はてなリングを見ていて、schemeリングや、OCamlリングがあるのに、Haskellが無いのはと思い、haskellリングを作ってみました。 Haskellの勉強をしている人や、興味をもっている人の集まれる場にでもなれればと思いつくりましたので、よろしければ登録してみ…

置き換えモデルとは、どうやら出てくる関数を置き換えていって、最後に計算をするモデル。遅延評価といっていいのかな。問題1.9では、引数を1増やす手続きincと引数を1減らす手続きdecをつかって、2つの整数をたす方法を置き換えモデルを使い、4と5をたす過…