日々の流転

λ. 日中再考

『日中再考』

古森 義久 [著]

読了。著者の主張にはおおむね同意。「日中友好」と念仏のように唱えて謝罪と援助を繰り返すだけで真の友好なんか実現できるわけないし、日本は自らの国益を実現するために、より実効性のある政策をとるべきだと思う。

λ. "Lazy functional state threads", John Launchbury, Simon L. Peyton Jones

いわゆるSTモナドの話で、runST :: (∀s. ST s a) -> aという rank-2 の多相型をもった関数を使うことで state-thread が安全にカプセル化できるってのがメインの話。

それはそうと、STモナドは好きなモナドの一つなんだが、All About Monads (モナドのすべて) でも取り上げられていないし、いまいち認知度が低い気がする。

λ. 岩波書店：福沢諭吉全集、無関与の論説収録か−−「大陸の王者」目指さず？

ふむ。