不完整的弗雷格文档[关闭]答案

【问题标题】：Incomplete Frege Documentation [closed]不完整的弗雷格文档[关闭]
【发布时间】：2016-05-13 14:43:49
【问题描述】：

http://www.frege-lang.org/doc/index.html 的 javadocs 似乎缺少很多（即没有 frege.prelude 包），而且似乎不是最新的。可能有一个很好的弗雷格文档隐藏在某个地方吗？

【问题讨论】：

【解决方案1】：

您所看到的是运行时类的 API 文档，该文档非常少，因为典型的 Frege 用户不会使用这些。

Thomas 正确地指出了库文档。

此外，还有对 Frege 的“Hoogle”支持：http://hoogle.haskell.org:8081/，您可以在其中搜索 API。

全部链接自弗雷格主页。

希望对您有所帮助。

【讨论】：

在尝试将 Java 与 Frege 进行互操作时，Frege 有时希望我提供具有奇怪类型的对象，例如 Func.U<α, ?> 之类的。
这是自最新编译器版本 3.24.x 以来 Frege 将函数类型映射到 Java 的方式当您只使用 Frege 时，您应该永远不会看到这一点。只有当您想在 Java 代码中使用 Frege 函数类型时，您才需要处理这个问题。你想叫什么？（顺便说一句，您最好使用显示所有 Unicode 字符的编辑器/字体）
我在 Frege 中有一个表示通用 Java 类型的数据类型（比如 Function<T, R>），但我似乎无法正确使用 apply 方法。 Frege 可以很好地编译 native apply {α, β} :: Mutable s FooFunc -> ST s α -> ST s β，但 Java 端的函数签名看起来像 apply(α, Func.U<α, ?>)。
没有看到整个代码，有点难以分辨，但您可以从这里复制“模式”：github.com/Frege/FregeFX/blob/master/fregefx/src/main/frege/…