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

Re: Multiple key-value pairs in assoc-in (old issue)

2016-08-17 Thread Timothy Baldridge
When I see mailing list posts like this I like to play the devil's advocate a bit (at least in my own mind) and try to find problems with including a given patch in Clojure. A few things to consider: 1) There are really three answers to patches: "yes", "no" and "not now". That is to say, because a

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 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