将值从Frege传递到Java并返回

Question

假设我有一个哑哑Frege函数，它构造了一对Num 。

newPair :: (Num α, Num β) => α -> β -> (α, β)
newPair = (,)
-- alternatively -- newPair x y = (x, y)

但是，尝试从Java调用此函数，除了期望的Lazy<α>和Lazy<β>之外，还需要PreludeBase.CNum<α>和PreludeBase.CNum<β> Lazy<β> 。 同样，对于Show类型，

showSomething :: (Show α) => α -> String
showSomething = show
-- alternatively -- showSomething x = show x

除预期参数外，还需要PreludeBase.CShow<α> 。

在Java中来回传递约束的Frege对象的正确方法是什么？

Answer 1

很好的问题，因为这在Wiki中还没有解释。

由于在这种情况下，我建议使用

:java

REPL中的命令。 例如：

frege> newPair 1 2.3
frege> :java

然后，您将获得一个窗口，其中包含与该调用相对应的所有活动定义。 简单的文本搜索可以帮助找到调用newPair的位置。 这应该在大多数时间有助于解决此类问题。

在您的情况下，相关部分如下所示：

Console.<Integer, Double>numPair(
   PreludeBase.INum_Int.it, 
   PreludeBase.IReal_Double.it, 
   Thunk.<Integer>lazy(1), 
   Thunk.<Double>lazy(2.3))

这是有关如何命名类型类和实例以及如何获取它们的简短概述。

module x.y.Z where
    class Xable where ...

这将导致Java接口具有完全限定的名称

x.y.Z.CXable

和这个：

module a.b.C where
    import x.y.Z
    data MyType ... = ....
    instance Xable MyType where ...

导致某些班级

a.b.C.IXable_MyType  /* implements CXable<TMyType> */

如果您的实例定义本身没有约束，则可以使用一个单例实例。

a.b.C.IXable_MyType.it

否则，您需要通过将所有约束作为参数传递给构造函数来构造新实例。 例如，针对的Show实例

Maybe Int

看起来像这样：

new IShow_Maybe(IShow_Int.it)

因为实例头列出了Maybe元素类型的约束：

instance Show a => Show (Maybe a)

注意，您需要完全了解实际类型，不能创建泛型类型类实例。 在Frege中，这绝不是问题，因为所有需要的实例都从调用者传递到多态函数。 但是，就目前而言，我们在本机函数中没有约束。

如果需要这样的功能，则在大多数情况下，只需将要调用的函数作为参数传递就可以实现该功能。

例如，这不起作用：

pure native myMethod :: Show a => a -> ...

但这应该：

pure native myMethod :: (a -> String) -> a -> ....
myMethod show (Just 47)

---

上面的示例Java代码还揭示了它并不总是像描述的​​那么容易。 例如，恰巧Double类型没有单独的Num实例，而对于Real是一个实例，它是Num的子类。 不幸的是，只有编译器才知道某种类型实际上存在哪些实例，哪些是隐式的，即由实例为子类提供的知识。 同样，REPL是找出这一点的最佳方法。