日々の流転

λ. Rava / JavaVM on Ruby

おぉ、すごい。(Asumi日記 (2002-10-15)より)

VMの勉強に読んでみるかなぁ。(VMの勉強としては、中断しているwambookを先に読み終えたいところではあるけど)

(追記: /.Jの記事 にもなってた。)

λ. システムプログラミング

課題を添削(?)してて気が付いたのだけど、意図せずに可変長配列とか(gccの拡張機能である)nested functionとか使っている人がいる。Javaか何かを使っていたときの癖なのかな?

λ. 萩野服部研SICP

1.3の「高階関数」へ。

そういえば、letがlambdaのsyntax sugerであるというのは良く知られていると思うけど、『型理論』によればMLではletとλで型推論のルールが異なる。(「let f = λx.x in f(f)」は α→α の型を持つが、「(λf.f(f))(λx.x)」は型付け不可能)　Haskellでもおなじ。let束縛の多相性の制限とかこの辺りの話はまだ良く分からない。

λ. 読書

『ミスターフルスイング 5』

鈴木 信也