如何在 Frege 中实现 Java 接口？答案

【问题标题】：How to implement Java interfaces in Frege?如何在 Frege 中实现 Java 接口？
【发布时间】：2016-06-03 18:09:15
【问题描述】：

我一直在尝试Frege，我想做的第一件事就是实现一个 Java 接口。

这是怎么做到的？

这是我的 Java 示例：

package mypkg;

import frege.repl.FregeRepl;
import frege.runtime.Concurrent;
import org.osgi.framework.BundleActivator;
import org.osgi.framework.BundleContext;


public class FregeMain implements BundleActivator {

    public FregeMain() {

    }

    @Override
    public void start( BundleContext context ) throws Exception {
        System.out.println( "Frege Bundle activated" );
        new Thread( () -> FregeRepl.main( new String[ 0 ] ) ).start();
    }

    @Override
    public void stop( BundleContext context ) throws Exception {
        System.out.println( "Frege stopping. Goodbye!" );
        Concurrent.shutDownIfExists();
    }

}

要在 Frege 中实现这一点，我需要知道：

如何实现 Runnable（可能是 Haskell lambda）并将其传递给 Thread 构造函数。同样的问题：实现一个 Java 接口，但这次使用匿名类或 lambda。

我试图理解Calling Java from Frege 的帖子，但可能由于我缺乏在 Frege/Haskell 方面的经验，我只是不明白其中的大部分内容。

感谢您的任何意见。

【问题讨论】：

你为什么要这样做？你的 Java 胶水代码很短而且可能是正确的？
我不会这样做。我只是想学习。
我明白了。因此，“界面”的概念并不是弗雷格的真正一部分。因此，您上面的代码应该没问题。因为它做了一些 Java 特有的事情，所以如果它是 Java 就可以了。

标签： frege

【解决方案1】：

在 Frege 中实现 Java 接口的最简单方法可能是使用内联模块定义。 https://github.com/Frege/FregeFX/blob/master/fregefx/src/main/frege/fregefx/JavaFxUtils.fr

中有一些详尽的示例

【讨论】：

该示例看起来只是内联在 frege 文件中的 Java 代码。你是这样做的吗？你能展示我示例中的等效代码吗？
你需要一个本地声明 data BA = native org.osgi.framework.BundleActivator 然后 native module interface BA where { 你的方法在这里 }