在Clojure函数参数定义中使用^

Question

(defn lines
  "Given an open reader, return a lazy sequence of lines"
  [^java.io.BufferedReader reader]
  (take-while identity (repeatedly #(.readLine reader))))

what does this line mean? -> [^java.io.BufferedReader reader]

also I know this is a dumb question. can you show me the documentation where I could read this myself? So that I don't have to ask it here :)

Answer 1

You can find documentation here:

https://clojure.org/reference/java_interop#typehints

Clojure supports the use of type hints to assist the compiler in avoiding reflection in performance-critical areas of code. Normally, one should avoid the use of type hints until there is a known performance bottleneck. Type hints are metadata tags placed on symbols or expressions that are consumed by the compiler. They can be placed on function parameters, let-bound names, var names (when defined), and expressions:

 (defn len [x] (.length x)) (defn len2 [^String x] (.length x)) ... 

Once a type hint has been placed on an identifier or expression, the compiler will try to resolve any calls to methods thereupon at compile time. In addition, the compiler will track the use of any return values and infer types for their use and so on, so very few hints are needed to get a fully compile-time resolved series of calls.

You should also check out:

• https://clojure.org/guides/weird_characters
• https://clojure.org/reference/reader

And never, ever fail to keep open a browser tab to The Clojure CheatSheet

---

You may also wish to review this answer .