Re: [ANN] Automatic Clojure Type Annotations

[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 / 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 
> 
>  
> 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 
>  demonstrating 
> the tool.
>
> You can read more about the ideas behind the tool here 
> .
>
> # Prototype: Write Tests, Get Types!
>
> The latest core.typed release contains a
> prototype for Automatic Annotation inference.
>
> Try it out here !
>
> # Crowdfunding
>
> I am running a crowdfunding campaign 
> 
>  
> 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.

Re: [ANN] Automatic Clojure Type Annotations

[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 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 > 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 
>> 
>>  
>> 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 
>>  demonstrating 
>> the tool.
>>
>> You can read more about the ideas behind the tool here 
>> .
>>
>> # Prototype: Write Tests, Get Types!
>>
>> The latest core.typed release contains a
>> prototype for Automatic Annotation inference.
>>
>> Try it out here !
>>
>> # Crowdfunding
>>
>> I am running a crowdfunding campaign 
>> 
>>  
>> 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.

Re: [ANN] Automatic Clojure Type Annotations

[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 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 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
>  demonstrating
> the tool.
>
> You can read more about the ideas behind the tool here
> .
>
> # Prototype: Write Tests, Get Types!
>
> The latest core.typed release contains a
> prototype for Automatic Annotation inference.
>
> Try it out here !
>
> # Crowdfunding
>
> I am running a crowdfunding campaign
> 
> 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.

[ANN] Automatic Clojure Type Annotations

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

demonstrating
the tool.

You can read more about the ideas behind the tool here
.

# Prototype: Write Tests, Get Types!

The latest core.typed release contains a
prototype for Automatic Annotation inference.

Try it out here !

# Crowdfunding

I am running a crowdfunding campaign

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.