さらについでにemacs lispも ０．Meadow上で編集。このとき(interactive)をつけておく １．C-x C-e か eval-current-bufferで読み込ませる ２．M-x ...で呼び出して実行 ・・・繰り返し。 引数がわかんないときはM-x describe-functionでしらべる。

ついでにHaskellも書いとこう０．C-c C-lで対話環境を起動 １．Meadow上でファイルを編集 ２．対話環境上で :l ファイル名 でファイル読み込み、テスト ・・・１，２の繰り返し

ファイルにコードを書いて、 gosh [ファイル名] とか、ファイルの先頭に #!/usr/local/bin/gosh を埋めといて直接ファイル名を打つのでもいいんだけど、 (define (main args) ...) を書かないといけないのがメンドクサイ。対話環境でファイルを読み込む → 実…

p8、P9 正規順序の評価 ＝ 最外簡約（call by name） ≒ 必要簡約（call by need） 作用的順序の評価 ＝ 最内簡約（call by value） かな。

プログラマのための「ゲーデルの不完全性定理」(2)：速攻速習編 「停止問題」について。 せっかちなのでおいしいところだけつまみ食い。 なるほど。Trueのときは無限ループで返らない。矛盾やねぇ。 自分自身が引数に入っているから自己言及になって、Trueは…