Hi, Roughly 1/3 of clojure.core is annotated and comes included with core.typed. They are unchecked annotations.
https://github.com/clojure/core.typed/blob/master/src/main/clojure/clojure/core/typed/base_env.clj#L658 You can lookup types via cf at the REPL. (clojure.core.typed/cf +) ;=> (Fn [clojure.core.typed/AnyInteger * -> clojure.core.typed/AnyInteger] [Number * -> Number]) Thanks, Ambrose On Thu, Aug 29, 2013 at 3:40 PM, Jozef Wagner <jozef.wag...@gmail.com>wrote: > How about annotating clojure.core API. Is it needed, provided, optional? > > > On Thursday, August 29, 2013 12:28:35 AM UTC+2, Ambrose Bonnaire-Sergeant > 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.
