日々の流転

λ. 今日は暖かかった。暑いくらい。学校行ったら、新歓まっさかりで賑やかだった。人が多いのは疲れるけど、学期初めの風物詩と思えばこれも楽しい。で、学生証の交付を受けて、CNS/ERNS利用申請書を提出して、ガイダンスと奨学金ガイダンスを受けて、健康診断を受けて……、久しぶりに色々したらちと疲れた。あと、帰りにツインライナーに初めて乗った。中も赤かった。結構かっこいいかも。

λ. Matrix.hs

ファイルを整理していたら、以前に試しに書いた行列のコードが出てきたので、ちょっとだけ整理して晒してみる。効率も使いやすさも考えてないけどなー。

λ. Data Structures Considered Harmful - John G. Cleary, Mark Utting, and Roger Clayton

LtU より。データ構造有害論。

プログラマはデータ構造を決めたり、データ構造にアクセスするコードを書いたりすべきではない。そんなのはコンパイラの仕事だ。プログラマは抽象的な「関係」だけを扱い、コンパイラは各「関係」をどのようなデータ構造によって実現するのが効率的か解析しデータ構造を決定する。

Starlog という純粋論理型言語(?)を提案している。

気になったキーワード

• constructive negation
• bottom-up evaluation
• triggers