Keep on moving

あんまりまとまってないことを書きますよ

2009-10-19から1日間の記事一覧

Church数の実装(using Erlang)

Erlangの勉強も兼ねてChurch数を書いてみた。とはいえ、これでいいのかな? ついでに見よう見まねでEunitも使ってみました。まだまだ勉強しなくちゃいけないことはたくさんありますな。 -module(church). -author('Ehren'). -include("eunit.hrl"). -export(…

で、Church数

案の定よくわかんないよ> 試しに動かそうとしてもクロージャが帰って来てどうにもよくわかんない。 しょうがないのでWebの情報を漁る。 404 Blog Not Found:TuringとChurchの狭間で,http://www.csus4.net/hiki/SICPReading/?%BA%B4%CC%EE,http://www23.atwik…

SICP Lite#5復習

会場・受付でばたばたしてしまって、ちゃんと読めなかったので復習します。 2章前文 この章では対を使って、 ex2.1 (define (make-rat n d) (let ((g (abs (gcd n d)))) (if (< d 0) (cons (/ (- n) g) (/ (- d) g)) (cons (/ n g) (/ d g))))) ex2.2 (defin…