2005-09-19から1日間の記事一覧

電磁場と座標変換

高三ごろに同じことで悩んだ覚えがある。結局諦めたけど、計算間違いじゃなかったのか…そこでもうちょっと自分を信じれば、っていうのは無理な相談。 しかし、いい加減高校レベルに毛が生えたような物理・数学もやり飽きたんですけど、いつからまともな現代…

頭が関数型言語に慣れてきた?

最近、「破壊的」という単語を見るとドキッとする。

Compilation と execution の分離

しかし今回の Shiro さんの指摘は「compiler 型のスゝメ」なのだろうか。いや、先方の意図がどうあれ、そういう風に心を動かされた。別に macro がどうとかいう話とは関係無しに前から気になっていたことでもある。太田さんは SigScheme を始めるときに comp…

マクロと internal define その 2

Shiro さんの指摘を受けて今朝考えを書いたときは支離滅裂に終わった(顔。というわけで再挑戦。

まだずっと apply

Dispatcher の wrapper 書いてて思った。Wrapper では (wrapper cons 1 '(2)) =>(1 . 2) なんて呼び出しには対応したくないし、するだけ無駄。だから apply とはまた違った semantics になる。ヤマケンさんの「APPLY とは呼ばないでほしい」というのはこの事…

Scheme scripting

amb てこういう使い方するもんなんだろうか。それ専用の (効率的な) 関数がありそうだけど、見当たらないし。assert っていうのは SICP でいう require。 (guard (exc ((eq? exc 'no-solution) #t)) (let ((type (amb "Syntax" "Procedure")) (args (amb "Fi…

そこに apply

ぷちぷちと虫取り中。一気に広範囲を変更しないと test も動かなかったので相応のバグが混入してる。やっぱり豊富な test は財産ですね。 その財産にも結構間違いが見つかったりするわけですが…(顔