java - 将 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数组对应的弗雷格类型

Foo[]

是

JArray Bar

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

所以，在你的情况下应该是

JArray String

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

Mutable s (JArray String)

但是，当然，它只能在 ST monad 中使用。

这是相关联机文档的链接:http://www.frege-lang.org/doc/frege/prelude/PreludeArrays.html因为这是 Prelude 的一部分，所以您无需导入任何内容即可使用它。