Hi, Happy to announce a new open-source Clojure tool to generate core.typed type annotations from tests. It's part of a new crowdfunding campaign <https://www.indiegogo.com/projects/typed-clojure-automatic-annotations--2/x/4545030#/> I'm running, read on for details!
# What is it? This tool infers top-level annotations by instrumenting your code, running tests, and finally inserts inferred annotations directly in your source code. Here's a quick gif <https://twitter.com/ambrosebs/status/762328102336802817> demonstrating the tool. You can read more about the ideas behind the tool here <http://frenchy64.github.io/2016/08/07/automatic-annotations.html>. # Prototype: Write Tests, Get Types! The latest core.typed release contains a prototype for Automatic Annotation inference. Try it out here <https://github.com/typedclojure/auto-annotation>! # Crowdfunding I am running a crowdfunding campaign <https://www.indiegogo.com/projects/typed-clojure-automatic-annotations--2/x/4545030#/> to support Automatic Annotations for Typed Clojure. The money will help me keep working on Typed Clojure and travel to industry conferences. I will be writing more about how this tool works, and the general applicability of the infrastructure its based on. For example: - clojure.spec generative tests can help generate type annotations, and - the infrastructure could even be repurposed to generate clojure.spec specs! - mutually recursive map structures can be inferred - ideas for polymorphic inference There are only 7 days left and we need $7,500 to reach our goal. Please help by contributing! Thanks for your support! 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.
