Hi Shantanu, CLJS support is planned but not current plans to work on CLR myself.
No leiningen plugins yet, FWIW I tend to add type checks to my unit tests like: (is (check-ns 'my.ns)) Thanks, Ambrose On Sat, Aug 31, 2013 at 4:13 AM, Shantanu Kumar <kumar.shant...@gmail.com>wrote: > 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<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> 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/ >>> <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. > -- -- 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.
