スクリプト言語というのは，見た目*1と実装のセマンティクスの乖離が少ないな，と思い始めた．古き良き時代のlispとλ計算みたいな感覚で話を進められて，楽である．例えば，C++において， class Class1 { public: void hoge(); void huga(); } class Class2 …

Pythonで型推論の論文を読む．あんまり面白くはなかった．中で示されていた，CPAもざっと目を通す．psしかなかったのでcygwinのps2pdfで変換してから読む．cygwin便利だ．スクリプト言語の型推論をしようっていうのは，あんまりないんだろうか．ちょっと探す…

Googleで「就職しない」を検索しようとすると「もしかして：就職できない」と出てくることは有名な話であるが，Googleは「xxしない」を入力されると必ず「もしかして：xxできない」と出力するようである．「修行しない」「恋愛しない」「出社しない」で試し…