2008-05-29 暗黙のキャストは諸悪の根源 Haskellの話を聞いたり,OCamlの入門サイトを斜め読みして思ったんだけど,強い静的型付けで型安全で多相型や型推論のあるLISPって作れないかなぁ. それはもうLISPではないかもしれないけど.