研究の関係でMads Tofte*1のWebページを久しぶりに見たら、"Tips for Computer Scientists on Standard ML (Revised)"などというメモが。ML Kitもまだまだバージョンアップしている模様。SML#もそうですが、（たとえばOCamlと違って）基礎のしっかりしている…

あれから毎日のように大きなハチやら小さな虫やらがたくさん入ってくるので（目の前が庭なのですが、どこかに巣がある？）、ちょっと贅沢させていただいて、網戸をつけてもらうことになりました。もちろんお金は少しかかりますが（すみません）、ハチや蚊に…