Hi, Happy to announce a new set of tools to *automatically* *generate* types and specs for your projects.
*Dependency information:* 1. core.typed <https://github.com/clojure/core.typed> [org.clojure/core.typed "0.4.2"] 2. lein-typed <https://github.com/typedclojure/lein-typed> [lein-typed "0.4.2"] 3. boot-typedclojure <https://github.com/typedclojure/boot-typedclojure> [org.typedclojure/boot-typedclojure "0.1.0"] *Tutorial:* Here's how to try it out (for Lein projects using clojure.test): 1. Add {:user {:plugins [[lein-typed "0.4.2"]]}} to your ~/.lein/profiles.clj 2. Add a runtime dependency to [org.clojure/core.typed "0.4.2"] in your chosen Lein project.clj 3. To infer specs: Run lein typed infer-spec <insert-ns> 4. To infer types: Run lein typed infer-type <insert-ns> WARNING: This tool *rewrites your files*. Only try with backed up code. *Some examples:* *clj-time:* *- *Spec setup <https://github.com/frenchy64/clj-time/commit/1df3be64a677a96f1c78520f35facba34e06da63> + spec results <https://github.com/frenchy64/clj-time/commit/c3b47cac8e849c952b7df5e7106d70e65c0bbd08> - Types setup <https://github.com/frenchy64/clj-time/commit/e3796332dc62002fa5ce5b5ab2e128328dc00077> + types results <https://github.com/frenchy64/clj-time/commit/8c2f28ace006c1f28d6ef3aebdec9a6d176c9030> *cheshire* *- *Spec setup <https://github.com/frenchy64/cheshire/commit/4f8d4b61b9460113ec25c62489e8918e69405ca8> + spec results <https://github.com/frenchy64/cheshire/commit/3e391d933c2293fdcc4d192bbeff61ff7e0356dd> - Types setup <https://github.com/frenchy64/cheshire/commit/6b1f0f730cb9c74b1daf13de11ddfeb23ce27383> + types results <https://github.com/frenchy64/cheshire/commit/0cb14593841360a1391efc96d2370bd57205ac7a> (Note: use the latest core.typed versions to reproduce on your machines) *Hints:* This tool instruments your namespace and runs your test suite. This can be expensive. Try these options: * Choose lein test selectors (here: [:integration :generative] selectors)* lein typed infer-spec <insert-ns> :test-selectors "[:integration :generative]" * Timeout individual tests (1000ms timeout)* lein typed infer-spec <insert-ns> :test-timeout-ms 1000 If annotation generation hangs, try these options: * Disable recursive type inference* lein typed infer-spec <insert-ns> :infer-opts "{:no-squash-vertically true}" If you see "No such namespace: s", try deleting existing automatically generated specs/types before regenerating them. (git checkout works well here) *Reply* with your generated specs & types! 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/d/optout.
