Почему Clojure не может вывести этот тип def?

Question

Я писал тест клиент/сервер и столкнулся с чем-то неожиданным. В следующем коде, аргумент порта Socket конструктор не может быть выведено:

(ns second-try.test.client 
    (:import [java.net Socket])) 

(def port 5555) 

(defn -main [] 
    ; "Cannot disambiguate overloads of Socket" 
    (let [sock (Socket. "127.0.0.1" port)])) 

тип первого аргумента должно быть очевидно, так как я передаю буквальным. Я бы подумал, что тип порта будет очевидным снова, это просто буквальный; хотя один заправлен за def.

По какой-то причине, однако, он не может определить тип port. Я могу исправить это, поставив аннотацию на def или перед аргументом, но зачем это необходимо? Разве не должно быть очевидно, что это за тип?

Answer 1

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

Однако у Clojure не должно возникнуть проблем с определением типа во время выполнения и, хотя для выполнения во время выполнения использования рефлексии потребуется использовать рефлексию, этот код должен (и должен) запускаться.

Ошибка по-видимому, связано с Cursive: https://stackoverflow.com/a/32473508/440294

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

В вашем случае, я хотел бы попробовать что-то вроде:

(defn -main [] 
    ; "Cannot disambiguate overloads of Socket" 
    (let [^int p port 
     sock (Socket. "127.0.0.1" p)])) 

Answer 2

В этом случае, просто объявить, что вы Var быть :const:

(def ^:const port 5555) 

(defn -main [] 
    (let [sock (Socket. "127.0.0.1" port)]))