如何在Frege中实现Java接口？

Question

我一直在尝试弗雷格，我想要做的第一件事就是实现一个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中实现这一点，我需要知道：

• 如何在JVM字节码中声明一个称为mypkg.FregeMain实现BundleActivator的类(注意这一点很重要，因为OSGi框架将扫描jar中实现该接口的类，并自动调用它们)。
• 如何实现Runnable (可能是Haskell )并将其传递给Thread构造函数。同样的问题:实现Java接口，但这次是使用匿名类或lambda。

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

谢谢你的意见。

Answer 1

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