问题标签 [algebraic-data-types]

我正在建模 Haskell 中的循环调度程序。

然而，GHC 抱怨说

我该如何解决这个问题？

我还看到了关于删除数据类型上下文的建议，那么如何在不使用数据类型上下文的情况下对调度程序进行建模呢？

在 Haskell 代数数据类型中，声明中具有常量值是否合法？换句话说，我可以定义这样的东西：

我试图从规范中弄清楚，但语法对我来说并不清楚。

我必须制作一个将 House 转换为 NHouse 的功能。

我想过做一个辅助功能，将 NRoof 中的每个屋顶转换，然后将其应用于房屋中的每个屋顶。

但我就是想不通。我正在做这样的事情：

我正在学习 Haskell，所以我正在编写一些简单的纸牌游戏。我定义了一些数据类型：

现在我想创建一个包含 52 张卡片的原始套牌。我敢肯定有一种巧妙的方法可以做到这一点，但我能想到的只是：

我可以让 Haskell 为我生成这个列表吗？

我应该如何在 Java 中将几何数据类型更改为字符串？

我正在尝试构建一棵树，其子项在列表中表示。每个孩子自己都可能是子树等。所以我走这条路——

现在我尝试创建这样的树

它工作正常，直到 subtree2。未创建 tree1。抛出的错误是这样的 -

我根本不明白这个错误错误。为什么抱怨 83 是文字。subtree1 和 subtree2 也有文字，它们很好......

我通过执行以下操作解决了问题

我在我的代码中大量使用案例类，回复案例类的基本相等定义以正确运行。然后现在我发现我需要将另一个字段成员添加到案例类中。

1. 那么如果我var在案例类中添加一个字段成员，它会弄乱案例类的相等属性吗？
2. 如果 1 是，那么如果我只更改var一次字段值，之后，不会发生任何重新分配，在 case 类进入任何集合或进行相等比较之前，这仍然会弄乱相等行为吗？

在运行时使用 C，我可以：

1. 创建函数的源代码，
2. 调用 gcc 将其编译为 .so (Linux)（或使用 llvm 等），
3. 加载.so，然后
4. 调用函数。

在 Rust 中是否可能发生类似的事情？

特别是我想使用代数数据类型，所以使用 Rust 功能的 C 子集是不够的。

我正在尝试运行一些具有较大值的数学公式，因此我正在使用Double数据类型。但是，如果我输入较大的值，我仍然会得到 NaN 的答案。那么我该如何解决呢？

例如，如果我通过 Varx=3 和 countx=1230，我得到的结果是 NaN。

对于上面的代码，我应该在 (?) 中输入什么函数才能获得所需的数据？