Clojureコンパイラの型推論器をとりだしてみる - Homoiconic Daysclojure.orgには，Clojureについて次のような説明がある。 Clojure provides easy access to the Java frameworks, with optional type hints and type inference, to ensure that calls to Java can avoid reflection. http://clojure.org/ この型推論(type inference)は，Clojureの説明でたまに名前だけは出てくるものの，その実態についての説明にはほとんどお目にかかったことがない。そこで今回は，Clojureの型推論の機能をClojureから触れるようにして遊んでみよう。 Clojureになぜ型推論が必要か まずはじめに注意しておかないといけないのは，Clojureの型推論はMLやHaskellなどの静的
