Can typed-clojure be used without writing any type annotation?

[Paulo César Cuneo]

Hi there!
I'm curious if core-typed can be used without writing any type
annotations, as lein/boot plugin?
I mean can it be used as a linter? If not why not?
All examples i found require to write the types.

Bye.

[Ambrose Bonnaire-Sergeant]

core.typed is only effective with type annotations (at the moment). This is
mainly because
it relies on local type inference, where annotations on lambdas are assumed
to be given.

Thanks,
Ambrose

On Sun, Feb 26, 2017 at 3:08 PM, Paulo César Cuneo <

Post by Paulo César Cuneo
Hi there!
I'm curious if core-typed can be used without writing any type
annotations, as lein/boot plugin?
I mean can it be used as a linter? If not why not?
All examples i found require to write the types.
Bye.

[Paulo César Cuneo]

Hi Ambrose! Thanks for the response.

I been interested in type inference for a while,
read the damas paper. Guess I'll read your tesis now, or at least the local
inference bit.

Thanks.


On Sunday, February 26, 2017 at 8:26:41 PM UTC-3, Ambrose Bonnaire-Sergeant

Post by Ambrose Bonnaire-Sergeant
core.typed is only effective with type annotations (at the moment). This
is mainly because
it relies on local type inference, where annotations on lambdas are assumed
to be given.
Thanks,
Ambrose

Post by Paulo César Cuneo
Hi there!
I'm curious if core-typed can be used without writing any type
annotations, as lein/boot plugin?
I mean can it be used as a linter? If not why not?
All examples i found require to write the types.
Bye.