Here's a demo of generating clojure.spec specs + Typed Clojure types for functions and macros.
https://www.youtube.com/watch?v=DRJeHthzOjk Thanks for your support! Ambrose On Sun, Aug 14, 2016 at 10:33 PM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> 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.
