しばらく研究室の先輩とOCamlのList.fold_leftが凶悪な話で盛り上がる。できる人は最後までできて、標準的な人は前半の簡単な課題はできたみたい。僕の意図としては、ちょうど良いくらい。しかし、DrSchemeの変な仕様に悩まされることしきり。firstとかrest…

うああ。なんかいろいろおかしい…バグだなあ。オブジェクトを考えようとすると、再帰的な型とか、きちんと型に名前を付けて取っておくとか、もろもろを実装しないと、ちょっとしたテストもできないことがわかった。

よくわからないのは、 .... | (x, SomeConstructor a) when ... -> .... | (SomeConstructor a, x) when ... -> .... ....みたいなコードで、whenの中身を共有したいときに、 .... | (x, SomeConstructor a) | (SomeConstructor a, x) when ... -> ....と書…

機種変しようかどうしようか。今のところ、(ぜんぜん使っていないので)特に不満は感じていないのだが。あ、今度のはいろいろ高機能だから、ぜんぜん使わなくても適度な早さで電池がなくなりそうか(違う)。しかしそもそも、メールもWebもぜんぜん使ってないの…