Re: [ANN] Automatic Clojure Type Annotations

2016-08-17 Thread Leif
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 / docu

Re: [ANN] Automatic Clojure Type Annotations

2016-08-17 Thread Leon Grapenthin
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 expo

Re: [ANN] Automatic Clojure Type Annotations

2016-08-17 Thread Ambrose Bonnaire-Sergeant
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 announ

[ANN] Automatic Clojure Type Annotations

2016-08-14 Thread Ambrose Bonnaire-Sergeant
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 I'm running, read on for details! # What is it? This tool infe