^または：tagタグ付きのヒンティング戻り値？

Question

2人はClojureで同じことをしているようです。正式な構文は何ですか？

(defn a ^int [] 4) 

(defn b ^{:tag int} [] 4) 

私はそれがより短いのでaだと思います。

Answer 1

タグ以外のメタデータを含める必要がある場合は、bのみを使用します。例えば、過渡コレクションを実装する場合、私はそれが同等と

(deftype Whatever [^:unsynchronized-mutable ^ITransientVector foo]) 

を書くことは完全に許容可能であることを

(deftype Whatever [^{:tag ITransientVector 
        :unsynchronized-mutable true} foo]) 

注意が必要しかし、私は個人的には、明示的なマップを好みます。

Answer 2

その 'a'は標準です。これまでClojureコードとClojureサイトのドキュメントで私が見てきた唯一のものです。タイプヒントの詳細については、hereを参照してください。

これが役に立ちます。