将Java数组映射到Frege

Question

让我说一下，我想映射Java代码：

package mypackage;

class A {
    public String[] values() {
       return new String[]{"one", "two"};
    }
}

给它的对应方：

data AA = pure native mypackage.A where
    native values :: AA -> [String]

目前，弗雷格抱怨说：

error: incompatible types: String[] cannot be converted to TList

如何将Java数组映射到Frege？

Answer 1

消息实际上来自Java编译器。

对应于Java数组的Frege类型

Foo[]

是

JArray Bar

其中Bar是对应于Foo的Frege类型。

所以，在你的情况下

JArray String

注意，从Frege的角度来看，这是一个不可变的数组。如果您想要可变数组，请使用

Mutable s (JArray String)

但是，当然，它只能在圣杯中使用。

下面是指向相关在线文档http://www.frege-lang.org/doc/frege/prelude/PreludeArrays.html的链接，因为这是前奏的一部分，您不需要导入任何东西就可以使用它。