Sorry for a late reply to the thread. This release is pretty cool. I haven't been following the development too closely, so I have two questions:
1. Is ClojureScript/ClojureCLR supported by core.typed? Or, is it planned? 2. Is there a Leiningen plugin that can help run the type checks from the command line? Shantanu On Thursday, 29 August 2013 22:10:18 UTC+5:30, Ambrose Bonnaire-Sergeant wrote: > > Just pushed 0.2.1 based on feedback from the video on HN. > > https://github.com/clojure/core.typed/blob/master/CHANGELOG.md > > Thanks, > Ambrose > > > On Thu, Aug 29, 2013 at 6:28 AM, Ambrose Bonnaire-Sergeant < > abonnair...@gmail.com <javascript:>> wrote: > >> Hi, >> >> After 10 months and 26 0.1.x releases of transitioning core.typed from an >> ambitious student project, I am finally comfortable recommending core.typed >> for production use. >> >> Production Ready >> >> My interpretation of "production ready" in this context is: >> - core.typed can *find bugs* in real code >> - core.typed will *not slow down* your existing code by loading >> a large library at production. (core.typed does introduce an extra >> "identity-like" >> function call at type annotations, I assume this is a candidate for >> optimisation via >> HotSpot) >> - A basic *tutorial*, API docs and example project exist >> - core.typed is *currently used in production* with success (at CircleCI >> for several months) >> - The core type checking API is mostly *stable*, with only very >> minor removals/breaking changes in the last few months. >> >> There are several outstanding issues, but I am satisfied that core.typed >> can bring real utility to real programs *today* and with *no >> production-time drawbacks*, thus this release. >> >> How to get started >> >> Leiningen dep: >> >> [org.clojure/core.typed "0.2.0"] >> ...; for very recent releases:repositories {"sonatype-oss-public" >> "https://oss.sonatype.org/content/groups/public/"} >> >> If you like following tutorials try the user/types guide. If you just >> want to get your hands on some typed code, see the Example project. >> >> core.typed User Guide<https://github.com/clojure/core.typed/wiki/User-Guide> >> core.typed Types Guide <https://github.com/clojure/core.typed/wiki/Types> >> Example project <https://github.com/frenchy64/core.typed-example> >> API Reference <http://clojure.github.io/core.typed/> >> >> core.typed Github Home <https://github.com/clojure/core.typed> >> core.typed Wiki <https://github.com/clojure/core.typed/wiki> >> >> Please report bugs, ask questions or discuss things on the mailing >> list<https://groups.google.com/forum/?fromgroups#!forum/clojure-core-typed> >> . >> >> (FWIW I'm ambrosebs on #clojure.) >> >> Thanks, >> Ambrose >> > > -- -- 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.
