问题标签 [frege]

我正在尝试加载文件。

我有：

如果我尝试这样做：

我收到此错误，这对我来说似乎很困惑：

假设我有这些记录：

我想向游戏添加一个新组，但我想避免调用 Game 构造函数，因为如果稍后我向游戏添加一个字段，我不想更改所有 Game 构造函数调用。假设我想向游戏实例添加一个新组。最好的方法是什么？

我试图将计算“a”的 Adler-32 哈希的 Haskell 代码转换为 Frege，但得到的是 6422626 而不是 300286872

摘自http://book.realworldhaskell.org/read/functional-programming.html上的 Haskell 代码

摘自https://github.com/Dierk/Real_World_Frege/blob/master/realworld/chapter4/G_Reducing.fr的 Frege 代码

运算符的选择是错误的还是有符号/无符号的 32/64 整数属性？

我想我可以像这样在命令行 REPL 上做到这一点：

但是我怎样才能在http://try.frege-lang.org中做同样的事情

我想：

1. 使用 Frege 编程语言编写一段简单的“Hello World”代码，
2. 然后使用 Frege 编译器生成等效的 Java 源代码，
3. 然后构建一个可执行的 Jar 文件以从命令行运行，
4. 前面的所有步骤都应该由 Gradle “控制”。

我能够生成源代码（上一个列表中的第 1 项和第 2 项），但我无法在输出中指定 Java 源代码的“包”结构，即我看不到packageJava 语句为生成Java源代码中的第一行代码。我可以向 Frege 编译器指定将生成的代码放在哪里（通过-d参数）。

我认为这就是为什么在构建可执行 Jar，然后启动它时，我看到类似错误（根据 Gradle 任务的不同尝试）的原因，例如：no main manifest attribute.

Frege 源代码保存在一个名为 的文件HelloFrege.fr中，生成的 Java 源代码在一个名为的文件HelloFrege.java中（我验证该文件包含预期的main方法）。

这是 Gradle“Jar 任务”的一个版本：

这里有另一个版本的 Gradle “Jar” 任务：

我怎么解决这个问题？我想避免手动将包引用添加到自动生成的 Java 源代码文件中。

这个警告是什么意思？有什么办法可以避免这个警告？我试图从这里的编译器代码中理解消息，但我不能。

我也尝试了下面的代码，但得到了同样的警告：

我想运行经典测试来反转列表。为此，我必须将列表专门化为“任意”（原文如此！）类型的列表，例如 [Int]。

有效的是

或分解出不变量，例如

但我宁愿不包装原始函数而是直接使用它。通常的 Haskell 技巧是通过添加来强制专业化

在这里不起作用。

有没有更简洁的解决方案？

假设我有一个 Frege 模块

如果“total”是用 Java 编写的，我可以通过

从 Java 调用 Frege 实现的最佳方法是什么？

一些语言允许模块跨越多个文件。在 Frege 中，这意味着模块的命名空间将对以后的扩展“开放”。我认为这是不可能的，因为模块是由它们编译的类文件定位的——除非会有一些聪明的命名技巧。我只是想确定一下。

我正在尝试使用frege.java.Util模块来构造一个Properties实例。这是代码：

那不编译，这是编译器错误：

这是怎么回事？我什至没有进口Util.Hashtable。我该如何解决这种歧义？