Wow. I can imagine this saving a day or two when trying to type or spec a legacy codebase.
Wouldn't it also be / Is it possible to infer deeper calling levels? I. e. if (defn f [x] (g x)) generate types/specs for g and f from (f 42)? Because when one doesn't have unit tests, she could gain exponentially more types/specs from only calling some top level functions with constants. Thank you for doing this and kind regards, Leon. On Wednesday, August 17, 2016 at 8:14:04 PM UTC+2, Ambrose Bonnaire-Sergeant wrote: > > 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 < > abonnair...@gmail.com <javascript:>> 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.
