java - 从 Java(或 scala)调用具有类型参数的 Ceylon 顶级函数

Question

与

shared T f<T>(T t){
  return t;
}

我期待类似的事情

mod.f_.f[Integer](1)

在 scala 中工作，其中 [Integer] 是类型参数。但它不接受类型参数。

为什么 scala 看到的是 getter 而不是函数

shared Integer(Integer) fi = f<Integer>;

我预计 整数(整数)足以告诉编译器将函数公开给 scala。

Answer 1

我不懂 Scala，所以我只能帮助解决 Java 部分，但以下是从 Java 调用该函数的方法:

f_.f(Integer.$TypeDescriptor$, Integer.instance(1))

或者:

f_.<Integer>f(Integer.$TypeDescriptor$, Integer.instance(1))

Ceylon 具有具体化的泛型，因此类型参数变成常规参数，并且您必须提供类型参数的类型描述符对象。 Ceylon 类和接口(interface)有一个静态 $TypeDescriptor$ 成员，您可以使用它；我不知道其他东西(Java 类、联合和交集类型等)是如何工作的，但您可以在 Ceylon 中编写等效的调用，并通过使用 编译生成的 Java 代码--verbose=代码。

这是一个完整的工作示例，其中包含您的 f 函数和调用它的 Java 类 G:gist