2005-11-22から1日間の記事一覧

型を書く話

MLだと:なのにHaskellだと::でタイプ量が多いのは何でだろう、とか言ってみる。でもOCamlだとほとんど()をつけないといけなかったり。ちなみにICFPプログラミングコンテスト2004の裏方をやっていて「面倒だから.mliは書かない、っていうかデータ抽象は使わな…

人名変換

やっぱり「篠埜」さんが変換できません(MS-IMEで)。これは人名モードにしても駄目。そもそも切り替えないといけないのが…(人名モードだと、他の変換精度が悪すぎる)