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

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