7

我一直在学习 Haskell,但在我的日常工作中,我正在编写 Kotlin/Java。

我遇到过 Eta ( https://eta-lang.org/ ),这是一种 Haskell 方言,可编译为 Java 字节码并在 JVM 上运行。在网站上,它声明它具有:

Robust Interoperability

Eta has a strongly-typed Foreign Function Interface (FFI) that allows you to safely interoperate with Java. 

但在页面下方有一个“即将推出”部分,其中列出了互操作。所以我的问题是,在我开始设置开发环境的麻烦之前:

这是官方支持的吗?

4

1 回答 1

2

“即将推出”的东西是“绑定生成器”。Eta 已经实现了 Java 互操作的语法,但是您需要为要调用的每个 Java 实体显式编写外部声明。例如,在链接的示例中,像这样的类

public class Counter {
    private int counter = 0;
    private final int max;
    public Counter(int max) { this.max = max; }
    public int postIncrement() { return max == counter ? counter : counter++; }
}

需要大量外国进口

data Counter = Counter @example.Counter deriving Class
foreign import java unsafe "@new" newCounter :: Int -> Java a Counter
foreign import java unsafe "postIncrement" postIncrement :: Java Counter Int

正如您可能猜到的那样,最好是自动生成它。进行那一代的程序是 WIP,而不是 FFI 本身。

于 2020-01-18T21:27:33.023 回答