2008-05-29から1日間の記事一覧

暗黙のキャストは諸悪の根源

Haskellの話を聞いたり，OCamlの入門サイトを斜め読みして思ったんだけど，強い静的型付けで型安全で多相型や型推論のあるLISPって作れないかなぁ．それはもうLISPではないかもしれないけど．