えちょ記

語らないブログ

2009-02-25から1日間の記事一覧

静的単一代入がキモ

erlangなどの関数型言語ですが、結局のところ特に大事な要素は変数の静的単一代入を採用しているかどうか、だと悟りました。うん、きっとそうだ。関数型言語の文法設計には静的単一代入に帰着するものが数多くあります。末尾再帰によるループの構成、参照カ…

熱すぎた

ぬるく考えるにはやばすぎるネタだったのでちょっと中断。RETEは追いかけると面白いんだけど、この分野を自分で追うにはやはり車輪の再発明だ!もうちょっと現実路線のネタにします‥‥。