Clojure: подсказки нескольких типов?

Question

Как указать возможность двух типов для переменной?

(defn connect! [(or ^:String :^java.net.InetAddress) host ^:Integer port] ...) 

Спасибо!

Answer 1

От Clojure documentation:

Clojure поддерживает использование типа подсказок, чтобы помочь компилятору избежать отражения в производительности критически важных областях кода. Как правило, следует избегать использования типов подсказок до тех пор, пока не появится известное узкое место производительности.

Назначение типов подсказок - дать возможность компилятору избежать отражения. Любые аспекты самодокументации типа-намеченного кода являются вторичными. Когда вы говорите следующее:

(defn connect! [^String host]) 

Что вы говорите, компилятор должен решить все метод Interop Java призывает host во время компиляции метод вызывает на String класса. Предоставление формы, которая будет намекаться на несколько классов, победит эту цель - компилятор не знает, какой класс компилирует вызов метода как. Даже если бы это было так, объект не может быть String и InetAddress одновременно, поэтому любые вызовы методов, скомпилированные по классу String, будут сбой с ClassCastException, если произошел переход InetAddress, и наоборот.

Answer 2

Насколько я знаю, единственный способ это сделать сами проверить и добавить подсказку в позволении:

(condp instance? host 
    String (let [^String s] (...)) 
    InetAddress (let [^InetAddress a] (...)))