Clojure : 类型提示塔

Question

我有时会编写 java 方法，特别是对于基元/数组操作，我总是纠结于如何在 Clojure 1.8 下使用类型提示。我看到了一些线程，但考虑到它们已在 2 年多前发布，它们（也许？）已经过时了。

我将举一个基本的例子来说明我的观点（我知道这个例子有点毫无意义）。在这里，我想将两个 double 相加并返回一个 double。

这是一个Java方法：

public static double add (double a, double b) {

    return a + b;
}

然后我想要一个 Clojure 包装器：

版本 1

(defn d+ ^double 
  [^double a ^double b]
  (Doubles/add a b))

第 2 版

(defn d+ ^double 
  [^double a ^double b]
  (Doubles/add ^double a ^double b))

第 3 版

(defn d+ ^double 
  [^double a ^double b]
  (Doubles/add (double a) (double b)))

我不知道在哪里放置类型提示以及如何放置它们。我的印象是(double x) 效率较低，因为它是一个函数（也许我错了？）。 那么在 body 函数内部和外部给出提示有什么区别呢？

或者也许这些提示是不必要的，因为 Java 类中只有一种方法？ 我看不到逻辑，所以我通常使用版本 1 或 3（越多越好？）。

请注意，对于此示例，Clojure + 总是更快

Answer 1

版本 1 是正确的。它将发出以下字节码：

public final class compile_inspect$d_PLUS_ extends AFunction implements DDD {
    public compile_inspect$d_PLUS_() {
    }

    public static double invokeStatic(double a, double var2) {
        return Primitives.add(a, var2);
    }

    public Object invoke(Object var1, Object var2) {
        return new Double(invokeStatic(RT.uncheckedDoubleCast((Number)var1), RT.uncheckedDoubleCast((Number)var2)));
    }

    public final double invokePrim(double var1, double var3) {
        return invokeStatic(var1, var3);
    }
}

Primitives.add 就像您的 Doubles/add 函数一样。

如果您想要性能并避免拳击，您应该设置：

(set! *unchecked-math* :warn-on-boxed)

同时通过Java interop reference（CTRL+F“原始”）也会有所帮助。