Wadlerのブログにも話が出ていましたが、「;は文の区切りなのか終わりなのか」という、もはや古典的ともいえる文法的問題があります。僕は別にどうでも良いと思っているのですが、たとえばML演習で(式1; 式2; ...; 式n)と説明しても、式nの後に;をつける人が…

もうずっとDebianユーザ（しかもコマンドラインとEmacsがメイン）なのですが、オープンキャンパスの展示の関係で、学生さんのFedoraマシンをいじることに。GnomeもKDEもほとんど初めて＆SELinuxのラベルが壊れていてユーザが作れずハマったりしましたが*1、…

http://icfpcontest.org/が始まっています（72時間）。僕はやっぱり出られません。;_;