问题标签 [frege]

该程序在GHC下编译运行正常：

但是在使用 Frege 编译时出现以下错误：

为什么？是否可以修改程序以通过弗雷格下的编译？

我尝试在 Graham Hutton 的“在 Haskell 中编程”中运行第 8 章中关于功能解析器的片段，无论是 inghci还是frege-repl. 我无法使用do语法对解析器进行排序。我在 Frege 中有以下定义（Haskell 版本仅与item不打包和解包的更简单定义不同，String并且Char与书中相同）：

p'适用于ghci和frege-repl。但是，在尝试加载模块时，我收到了这些消息。首先来自ghci：

frege-repl甚至更不友好，因为它只是用错误堆栈跟踪将我从 repl 中踢了出来：

我的直觉是我需要一些不同的东西>>=，return或者我应该告诉编译器一些东西。或者也许我需要将p定义放入Statemonad？

I think I'm making a simple mistake here, but I can't get Frege to find any classes outside of the local Eclipse project.

I have a working non-trivial Java project (that's not mine), that I do not want to modify. I want to have a new clean Frege enabled project that makes use of classes from the original project.

I tried marking the original project as a dependency of my Frege project, and I tried packaging the original project into a JAR, and listing the JAR as an external dependency of the Frege project. In both cases, a Java file in the Frege project can access the classes, but the Frege compiler says "class org.foo.bar.Class is not a known Java class". This seems like a bug, but I am not confident that I have not missed a simple configuration step.

I have not tried setting arguments in the project configuration as I wouldn't know what to set.

I did quickly discover that I can make a new Java file in the Frege project with a blank subclass of whatever class I need and use that in a Frege file. I have successfully compiled and run a simple program like this. The program just makes a new object, gets a field, and prints the correct value, so I believe my Frege is installed and working properly.

More info:

• Eclipse Luna 4.4.0
• Java 7
• No Maven
• Official eclipse-ferge plugin installed through Eclipse

我希望能够将 large 转换Double为 an Integer，但似乎 Frege Haskell 的实现floor不会产生Integral类型。相反，它似乎被实现为与 Java 的接口方式，并将Floating类型转换为Double, Floating r => r -> Double。我可以使用round，但那是舍入而不是截断（尽管我可能可以减去 0.5然后舍入）。我宁愿在不需要使用Intor的情况下工作Long，后者与后者一样宽，但精度仍然有限​​。

有什么方法可以将浮点类型设置为任意精度整数类型？

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

假设我有一个构造一对Nums 的哑弗雷格函数。

但是，尝试从 Java 调用此函数时，除了预期的and之外，还需要 aPreludeBase.CNum<α>和 a 。与类型类似，其中PreludeBase.CNum<β>Lazy<α>Lazy<β>Show

需要一个PreludeBase.CShow<α>除了预期的参数之外，

将受约束的 Frege 对象传入和传出 Java 的正确方法是什么？

假设我在 Frege 中定义了一个小的、有些冗余的桥接函数

以及一些将已经获得的Java代码传递TList<Long>给它

Eclipse 抱怨传递给的参数FregeStuffies.listToArray不适用于它是什么

我是否传入了错误的 {context}/{instance of PrimitiveArrayElement}？

我一直在尝试Frege，我想做的第一件事就是实现一个 Java 接口。

这是怎么做的？

这是我在 Java 中的示例：

要在 Frege 中实现这一点，我需要知道：

• 如何声明一些在 JVM 字节码中称为mypkg.FregeMainimplementation的类可见的东西BundleActivator（请注意，这很重要，因为 OSGi 框架将扫描 jar 以查找实现该接口的类，并自动调用它们）。

• 如何实现Runnable（可能是 Haskell lambda）并将其传递给Thread构造函数。同样的问题：实现一个 Java 接口，但这次使用匿名类或 lambda。

我试图从 Frege 帖子中理解 Calling Java，但可能是由于我缺乏 Frege/Haskell 的经验，我只是不明白其中的大部分内容。

感谢您的任何意见。

我想学习如何将 Haskell 代码移植到 Frege。是否有任何项目已经被移植并作为很好的例子？

我正在学习 Frege 并看到了这个命令行：

我以前从未见过build:。这是什么意思，它有什么作用？

更多上下文：https ://github.com/Frege/frege/issues/289

我没有在这篇官方文章中看到它，也没有在我java在命令行输入时看到它。