i am surprised nobody mentioned gradual/optional typing<http://lambda-the-ultimate.org/node/1707>, typed racket <http://docs.racket-lang.org/ts-guide/> and the possible type checker to be built by *some clever hacker* on core.logic<https://github.com/clojure/core.logic>some day.
-- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
