というソーシャルブックマーク（？）があるというのを恥ずかしながら最近聞いたので， 見にいってみると自分の記事が紹介されていてびっくり． 紹介してる yoriyuki さんというのはあの yoriyuki さんかな． 8 point も頂いているということは， 少なくとも …

OCaml では，let rec を使わずに再帰関数を模倣することができる． 但し「for ループを使えばできる」とかそういう話ではない． 例えば，階乗を計算する関数 fact は，通常 let rec を用いて，let rec fact n = if n > 0 then n * fact (n-1) else 1 と再帰…

11月にシドニーへ出張の予定だが， ANA はオセアニア方面には運行していないらしい． ちょっと意外． スターアライアンス系列で成田からシドニーに行けるのは， オークランド経由のニュージーランド航空のみ． 直通で行けるのは JAL かカンタスだけだが， ど…

OCaml で遅延（怠惰*1）評価を 実装する方法があるが， 毎回 lazy や Lazy.force を書かないといけないため非常に面倒である． たとえば，ML の授業などでは，type 'a lazy_list = Nil | Cons of 'a * 'a lazy_list lazy_t とすれば簡単，と教わるのではない…

近所の図書館に行ったら「ふつうのHaskellプログラミング」が置いてあった． 小さな図書館だったので，情報リテラシーとかの書籍にまぎれていたのだが， まあ，そんな小さな図書館に置かれるほど関数型言語が流行っていると言えるかもしれない． OCaml でも…

今年の JSSST の大会の招待公演者が，それぞれ修士課程と博士課程の指導教官だったりする事実． ああ，それに恥じない研究者にならねば…．

今回のPPLサマースクール （ココも参照）は非常に参考になった． 関数型言語の実装についてはある程度分かった気でいたのだが， 自分の中で大きな勘違いをしていたようだ． それはコンパイルにおけるクロージャ変換のフェーズである． これまで，OCaml でプ…

先日，フランスの XML 関係の研究者と共著する機会があり， 「こっちの方が早いだろ」「いやココを変えればこっちの方が」 「いやいやまだまだ改善できる」だの OCaml のコードで文通をしたりしていたが， そんな中，相手のこの一行に愕然としてしまった．ex…