This is really cool. So I'll try to "sell it" to people that don't know whether this will be useful to them:
1. If you don't write types / specs because the gain isn't worth the effort to you--this would reduce the effort considerably. 2. This could be easily re-purposed to spec / document legacy data (or data coming from an external API) that have no / bad / non-machine-readable documentation, especially if it could more intelligently guess type alias names and detect enumerations. 3. The computer writes things for you (and not just boilerplate)! This is the future we've been waiting for. Keep up the good work, Leif On Sunday, August 14, 2016 at 10:33:59 AM UTC-4, Ambrose Bonnaire-Sergeant wrote: > > 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.