純粋関数型で、最初に途方にくれるのは、ログの埋め込みだ。実際、最近まで途方にくれていた。 プログラムの深いところで（主にデバッグ目的だが）ログを取りたいと思ったとき、そのためだけに*Worldや*Fileを引数渡しで届けるようにプログラムを変更するこ…

Cleanで関数プログラミングのことだが、Clean入門を書いたおかげで、細かいところまでよく意味がわかるようになった。 意味がわかるようになると、わざわざ似たようなもの（Clean入門）をもう一つ作る必要なんてないじゃん、という気にもなるが、なにより自…

これのコンパイルが通ってしまう。 Start :: (*{#Int}, *{#Int}, *{#Int}) Start = (a,f 1 a,f 2 a) where f :: !Int *{#Int} -> *{#Int} f i t #! t0 = t.[0] = {t & [0] = t0 + i} a :: *{#Int} a =: {i \\ i <- [0..9]}しかし、これだと通らない。 Start …

[id:lethevert:20060109:p1]の時に考えていた、「何故Haskellにはfor文がないのか？」という話。 そのときに、私は、末尾再帰を最適化するからだよ、という結論を出していたのだけれど、今から考えるとそれはちょっと違うかも、と思った。といっても、私はHa…

[id:lethevert:20060329:p1]の件でちょっと思ったのですが、オブジェクト指向の話をするときに、JavaやC++のことしか頭にないのも問題かもしれませんが、JavaやC++の存在を重視しないのも同じように問題ではないかと思います。現実のエンジニアリングの世界…

「コメントを書く」をクリックしてみるとよい。

Clean入門の成分解析結果 : Clean入門の79%は勇気で出来ています。 Clean入門の12%は汗と涙(化合物)で出来ています。 Clean入門の5%は玉露で出来ています。 Clean入門の3%は気合で出来ています。 Clean入門の1%は魔法で出来ています。 お、これはなかなか。…

lethevertの成分解析結果 : lethevertの57%は元気玉で出来ています。 lethevertの34%は見栄で出来ています。 lethevertの3%は下心で出来ています。 lethevertの3%は海水で出来ています。 lethevertの2%は優雅さで出来ています。 lethevertの1%は毒物で出来て…

Concurrent Cleanの成分解析結果 : Concurrent Cleanの68%は嘘で出来ています。 Concurrent Cleanの16%は言葉で出来ています。 Concurrent Cleanの15%は呪詛で出来ています。 Concurrent Cleanの1%は愛で出来ています。 ９９％が嘘と呪詛の言葉・・・。そし…

むしろ、オブジェクト指向なんて止めちゃえば、と思わないこともない。 要素分解して、別々の概念に分けちゃえばいいのに。

http://www.geocities.jp/lethevert/softwares/clean/gettingStarted17.html 評価戦略から始まった正格性に関する考察は、このマクロの回でひとまず終了です。非正格な言語でありながら、わざわざマクロを持っているのには、そういう理由があったんですね、…