Hi, Pushing another release of core.typed<https://github.com/clojure/core.typed>, mostly bug/documentation fixes.
We now push a "slim" jar which does not include AOT file. See the README for dependency information. See the CHANGELOG for specific changes. I'm also starting to provide functions that will help integrate core.typed with IDE's. eg. check-form-info<http://clojure.github.io/core.typed/#clojure.core.typed/check-form-info> returns a map of data summarising the results of type checking, including type errors. This is towards Counterclockwise support<http://dev.clojure.org/display/design/Typed+CLJS> . I'm planning to fix a bunch of things that have proven problematic with the type syntax. I'll be adding to this design wiki<http://dev.clojure.org/display/design/Cleaning+up+Type+Syntax>if you want to follow along, or contribute. These may end up being breaking changes. Also, recursive deftype and protocols have proven to be tricky. Here<http://dev.clojure.org/display/design/Recursive+Definitions>are my thoughts. Finally, I wrote a blog post<http://frenchy64.github.io/2013/09/08/simple-reasoning-assertions-core-typed.html>explaining how core.typed understands assertions. Enjoy! Ambrose PS. If you have questions, try #typed-clojure on Freenode! -- -- 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 --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.