将 Java 数组映射到 Frege

【问题标题】：Mapping Java Array to Frege将 Java 数组映射到 Frege
【发布时间】：2015-10-29 23:06:38
【问题描述】：

假设我想映射 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？

【问题讨论】：

【解决方案1】：

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

Java数组对应的Frege类型

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 的一部分，所以您无需导入任何内容即可使用它。

【讨论】：