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.

Reply via email to