newbie - How to annotate multiarity functions?

[Colin Yates]

If I have:

(t/defn a 

  ([] :- String (a "me"))

  ([name :- String] :- String (str "Hello " name)))

then when I check namespace it claims 'a' isn't annotated. I tried to do the external parity but couldn't get that to work:

(t/ann a [-> String] [String -> String])

[Ambrose Bonnaire-Sergeant]

(t/ann a (t/Fn [-> String] [String -> String]) is what you want.

[Colin Yates]

Thanks Ambrose - I have just found your PDF from
https://s3.amazonaws.com/github/downloads/frenchy64/papers/ambrose-honours.pdf
and it is answering a lot of questions that I didn't get from the
github page - is it worth linking there?

On 9 March 2015 at 20:04, Ambrose Bonnaire-Sergeant