2008-03-20 「型推論について」を紹介 Lang 私は1割も理解できていないと思う。が、id:Ichibanはきっと好きだろうから。 2008-03-19 型推論について プログラム解析を分類する の2本立て。