OCamlの売りは、Object周りの型推論とかPolymorphic Variantだと思ってます。そこにMLの売りである、モジュールシステムと型推論が入ってて、あんな言語になってる、と。でもこれは、プリミティブな型推論に出会った瞬間を除けば、プログラマにとっては自然…

また時間切れの予感。反省。次こそはもっと計画的に進めよう。先日のJacquesの論文。Unificationアルゴリズムを確認して、Type Reconstructionがなんなのかちゃんと読んで。証明をきちんと追う時間はないなあ…レコード型は少しずつわかってきた感じ。しかし…

せっかくなので見てた。面白かった。稲本とか懐かしい。もう5年も前になるのか。衛星を介した通信だと、かなり遅延があるんだなーとか、どうでもいいことを考えてみたり。遅延があるのはしかたないとして、なんで音声と画像が同期していないのか。素朴な疑問…