Question

受到上一个问题what is the easiest way to pass a list of integers from java to a frege function?的启发以及@Ingo对答案的评论，我试过了

[B@7764dc81

但是得到（ctor = constructor）：

(Foo/myfregefunction (java.util.List. [1,2,3,4]))

有什么想法吗？至少CompilerException java.lang.IllegalArgumentException: No matching ctor found for interface java.util.List没有产生ClassCastException;这是否意味着这是正确的轨道？

我可以从Clojure发送几乎任何Java集合类型的Frege，请参阅Converting Clojure data structures to Java collections。

BTW，使用普通java.util.List代替(Foo/myfregefunction [1,2,3,4])，@ Ingo指出，“一个clojure列表不是一个frege列表。”在转换为ClassCastException clojure.lang.PersistentVector cannot be cast to free.runtime.Lazy时类似的响应。< / p>

在弗雷格方面，代码类似于

java.util.ArrayList

Answer 1

好的，不知道Clojure，但是从你给出的链接我接受它你需要给出一个可实例化的类的名称（即java.util.ArraList），因为java.util.List只是一个接口，所以不能构造

对于弗雷格方面，在这种情况下是消费者，只需假设接口即可。

整个事情变得有点复杂，因为弗雷格知道java列表是可变的。这意味着不存在纯函数

∀ s a. Mutable s (List a) → [a]

并且每次尝试用纯语言编写这样的函数都必须失败并且将被编译器拒绝。

相反，我们需要的是ST动作来包装纯部分（在本例中，您的函数myfregefunction）。 ST是monad，它可以处理可变数据。这将是这样的：

import Java.Util(List, Iterator)   -- java types we need

fromClojure !list = 
    List.iterator list >>= _.toList >>= pure . myfregefunction

从clojure，你现在可以调用类似的东西（如果我的clojure语法错误（欢迎编辑），请原谅我）：

(frege.prelude.PreludeBase$TST/run (Foo/fromClojure (java.util.ArrayList. [1,2,3,4])))

这种通过Java的接口有两个缺点，恕我直言。首先，我们引入了可变性，Frege编译器不允许我们忽略它，因此接口变得更加复杂。此外，列表数据将被复制。我不知道Clojure是如何做到的，但至少在Frege方面，这个代码遍及迭代器并将数据收集到Frege列表中。

更好的方法是让弗雷格知道clojure.lang.PersistentVector是什么，并直接在弗雷格的clojure数据上工作。我知道有人用clojure持久哈希映射这样做了，所以我想应该可以为列表做同样的事情。

（此时我不得不指出贡献一个经过深思熟虑的Clojure / Frege接口库是多么有价值！）

编辑：正如@ 0dB的自我回答所示，他即将实施前面段落中提到的优秀解决方案。我鼓励大家用赞成票来支持这项崇高的事业。

第三种方法是直接在Clojure中构建Frege列表。

Answer 2

基于@Ingo的回答，

更好的方法是让弗雷格知道clojure.lang.PersistentVector是什么，并直接在弗雷格的clojure数据上工作。

及其评论以及Adam Bard对PersistentMap的解决方案，我想出了一个有效的解决方案：

module foo.Foo where

[编辑]正如Ingo指出的那样，作为ListView的一个实例给我们列表理解，头部，尾部，......

instance ListView PersistentVector

我们需要注释一个Clojure类以供在Frege中使用（pure native基本上使得Java方法可用于Frege而不需要任何monad来处理可变性，因为 - 通常 - 数据在Clojure中也是不可变的）：

data PersistentVector a = native clojure.lang.IPersistentVector where
  -- methods needed to create new instances
  pure native empty clojure.lang.PersistentVector.EMPTY :: PersistentVector a
  pure native cons :: PersistentVector a -> a -> PersistentVector a
  -- methods needed to transform instance into Frege list
  pure native valAt :: PersistentVector a -> Int -> a
  pure native length :: PersistentVector a -> Int

现在有一些函数被添加到这个数据类型中，用于从弗雷格列表创建一个Clojure向量，或者反过来：

  fromList :: [a] -> PersistentVector a
  fromList = fold cons empty

  toList :: PersistentVector a -> [a]
  toList pv = map pv.valAt [0..(pv.length - 1)]

注意我使用“点”符号;请参阅@Dierk的优秀文章，The power of the dot。

[编辑]对于ListView（以及PersistentVector弗雷格的一些乐趣），我们还需要实施uncons，null和take（抱歉）这里的快速和肮脏的解决方案;我会尽快解决这个问题：

  null :: PersistentVector a -> Bool
  null x = x.length == 0

  uncons :: PersistentVector a -> Maybe (a, PersistentVector a)
  uncons x
    | null x = Nothing
    -- quick & dirty (using fromList, toList); try to use first and rest from Clojure here
    | otherwise = Just (x.valAt 0, fromList $ drop 1 $ toList x)

  take :: Int -> PersistentVector a -> PersistentVector a
  -- quick and dirty (using fromList, toList); improve this
  take n = fromList • PreludeList.take n • toList

在我的快速＆amp;上面的脏解决方案，请注意使用PreludeList.take以避免在take创建的命名空间中调用PersistentVector，以及我如何不必为前缀fromList，{{1} }，toList和cons。

使用此设置（如果您不想这样做，可以省略empty，uncons和null以及顶部的take声明任何在Frege中都有instance的东西你现在可以调用一个Frege函数来获取并通过正确包装它来返回一个列表：

PersistentVector

在Clojure中，我们只需调用fromClojure :: PersistentVector a -> PersistentVector a fromClojure = PersistentVector.fromList • myfregefn • PersistentVector.toList -- sample (your function here) myfregefn :: [a] -> [a] myfregefn = tail并使用(foo.Foo/fromClojure [1 2 3 4])所做的任何处理（在此示例中为myfregefn）获取Clojure向量。如果[2 3 4]返回Clojure和Frege都理解的内容（myfregefn，String，...），请忽略Long（并修复类型签名）。尝试同上，PersistentVector.fromList如上所述，以获取列表，tail获取回来，比如head或Long。

对于包装器和Frege功能，请确保类型签名“匹配”，例如： G。 String匹配PersistentVector a。

前进：我这样做是因为我想把我的一些Clojure程序移植到Frege，“一次一个功能”。我相信我会遇到一些我需要研究的更复杂的数据结构，而且，我仍在研究Ingo提出的改进建议。

如何将Clojure中的整数列表传递给Frege函数？

2 个答案: