Hi, I'm not clearly understand why a clojure.core (in same way as clojure.string) uses wrong location (before var) for type hints where the http://clojure.org/reference/java_interop#typehints says that the type hints should go before arguments vector. Is the documentation outdated?

@niwinz: it's not wrong location. it's and "outdated" (not really deprecated although I wish it was) way of type-hinting

it's strictly less expressive and more problematic than typehinting on argvecs

After reading this: https://groups.google.com/d/msg/clojure/9ZmaZI6NO1I/99XTvn9kAgAJ and 3 following emails

seems like type hints on argsvec are also problematic...

In fact, @alexmiller says in that thread that typehints on var are invalid position... but clojure has a bunch of typehints on supposedly invalid location

I'm missing something or this is really confusing...

No, it's really confusing :)

On the end, using typehints in var is valid or invalid?

@niwinz: type hints on argvecs are not problematic anymore since 1.7 or 1.8 can't remember

1.8 apparently

if you're using <1.8.. then it's confusing. if you're using >=1.8, just put the type hints on the argvec and it's going to do what you mean to do (assuming you're using the correct type hint obviously :) )

@bronsa: thanks!

@bronsa: you are right, I found very strange errors when using typehints on argsvec but in 1.8 they does not happens

@bronsa: what about functions with multi-arity?

Repeat the type hint on each argvec or put it on the var?

type hint every argvec ¯\(ツ)/¯

:-)

I mean, there are cases where type hinting the Var is ok. But I'd rather have some repetition if that avoids nasty and undocumented edge cases